これは何? Types and Programming Languages (The MIT Press)やプログラミング言語の基礎理論 (情報数学講座)を読んだけど、let多相がよく分からない。 ならば、let多相を持った簡単なプログラム言語を作ってみよう。 名前は「Scala + let多相」なんでscalet…