まずはじめに最近好きな言語を挙げるが、Scala / F# なんかが好きだ。 そのどれもに共通することを挙げよう。 静的型 型があれば、おかしなコードはコンパイルで弾ける。 規約の準拠チェックもツール作りが動的型よりは容易だ。 関数型 関数が引数や返り値に…