Vocabulary

名称	説明
Eager(先行?), strict(正格)	プログラムが読まれたタイミングで実行
Lazy(遅延), non-strict(非正格)	必要になったら実行

振る舞い	名称
値 → 値	function (関数)
値 → 型	dependent type (依存型)
型 → 値	parametric polymorphism
型 → 型	type constructor / type operator