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