関数型言語における型理論(pdf) いま型理論を勉強中です。 ちょっと古いドキュメントですがおもしろい内容だったのでメモ。 CやPascalのような手続き型言語では、変数宣言の際に型を指定するが、 ここでの型は、その型がどれくらいのメモリを必要とするのか…