Fungoing LLCの日々の活動を記載していきます。 代表のbibrostが試していることや、技術的なネタも書いていきます。
有限会社ITプランニングに勤務するプログラマー。型理論などの応用である関数型言語MLや証明支援器Coqを使った、高信頼なシステム開発の技術に興味がある。 LiftはScalaでウェブアプリケーションを作るためのフルスタックなフレームワークです。Liftを使えば、テンプレートシステムやORマッピング、セッション管理などウェブアプリケーションに便利なものはすべてそろっている環境で開発をすることができます。 さらに、それだけでなく、LiftはScalaの機能を生かしたすばらしい特徴があります。 スニペットと呼ばれる関数を主体としたビューの構築 高階関数を使ったシンプルなインタフェースの設計 Scalaコンソールによる対話的なデバッグとメンテナンス 型推論による簡潔なコードの記述 型検査によるプログラムの誤りの検出 nullがないことによって、実行時エラーを大幅に削減 まだLiftは新しい技術です
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く