ついて、そもそもどんなものか非MLユーザーにはよくわからなかったのでメモ。Milner先生のこの論文が元らしい。ScienceDirect「多相性(polymorphism)」についてTaPLの説明がとてもわかりやすいのでそのまま引用。多相性という言葉は、プログラムの一部分を、異なる文脈では異なる型として用いることを可能にする各種言語機能を指す。let多相より)パラメトリック多相やらアドホック多相やらいろいろあるけれど、すべて「別の場所では別の型として扱う」を実現していることがわかる。部分式に対して名前をつけることで、繰り返しを避けたり、式を読みやすくできる。そのための仕組みとしてlet束縛がある。t2「式t1を評価し、その結果の値に名前xを束縛した状態でt2を評価せよ」という意味。let束縛項を多相にする。