pi8027/typeinfer — Issue #27:  多相型の型推論
Author: cutsea110
Created: 2011-10-31 12:28:57+00:00
State: open

一階の多相型という言葉が出てくるが、説明がない。
一階のというのを説明する必要があるか？
あるなら説明が簡単でも欲しいし、必要ないならとりあえず省いてもいいのではないか？