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

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

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

プログラミング言語を作る。第9回:型検査

第8回で計算式の平坦化を行いましたが、それは全て Int 型を想定して行っていました。拡張として、複数の型を導入して、型検査を実行してみようと思います。例えば、プラスの記号の両側には同じ型の値が与えられ、それらと同じ型の値を返すというように決め…