燻ったエンジニアのブログ

コンピューター科学を専攻し、絵と音楽を趣味とするエンジニアのブログです。

2016-03-09から1日間の記事一覧

プログラミング言語を作る。第13回:関数と型推論

関数型の要素を静的型付けの言語の仕様に持ち込むならば、やはり型推論は欲しいところです。ただし、言語の仕様によっては、型推論は関数定義などを行うときにかなりややこしいことになる可能性があります。例えば、簡潔で強力な型推論の例として、 OCaml の…