-
- いいね！0
Keigo Imai
@keigoi
.@ranha やってみました。 http://ideone.com/36Fhf やはり fun (type 'a s) ... -> のように書けないと厳しいのかな
2010-11-08 12:25:41
Keigo Imai
@keigoi
ちなみに ext の型は val ext : (module S with type t = 'a) -> 'a -> 'b となった。 'a t じゃないのはご愛嬌?
2010-11-08 12:32:22
Üe🦀
@ranha
取りあえずこのブランチ ( http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized/ )使えば、関数側の実装は出来るけど使う時が酷いっていう所までは分かって、頭痛いので起きてから適当に纏めてみます
2010-11-08 13:31:48