関数型言語ML(SML, OCaml, etc.), Part 5

関数型言語ML(SML, OC ..

32:31
07/10/06 16:07:01
あ、もちろん、`A,`B,`C,`Dを直接パターンマッチするのでなければ、match構文やfunction構文は使っても良いです。

そのような関数の型はどうなるのかを考えるために、ためしに、

let comp : (('a -> unit) -> (g:'b->unit) -> (['a|'b] -> unit)) = ();;

というのを考えてみましたが、['a|'b] のところで、
The type 'a is not a polymorphic variant type
と怒られてしまいます…

>>30みたいなことができたら良かったんですけどね。

次ページ