型
任意の型が、 lambda とみなされていてもよいのではないか。
整数すらも Church numerous で lambda としてあらわせるならば、型付ラムダでもどんな型を引数にとるか考えて型の引数でマッチングしても問題なく行きそうだ。定義されていないときにはエラーにする。
任意の型が、 lambda とみなされていてもよいのではないか。
整数すらも Church numerous で lambda としてあらわせるならば、型付ラムダでもどんな型を引数にとるか考えて型の引数でマッチングしても問題なく行きそうだ。定義されていないときにはエラーにする。