Skip to content

Vocabulary

irxground edited this page Sep 27, 2013 · 3 revisions
名称 説明
Eager(先行?), strict(正格) プログラムが読まれたタイミングで実行
Lazy(遅延), non-strict(非正格) 必要になったら実行
振る舞い 名称
値 → 値 function (関数)
値 → 型 dependent type (依存型)
型 → 値 parametric polymorphism
型 → 型 type constructor / type operator

Clone this wiki locally