fstclassmod遊び1

Üe🦀 @ranha

こうしれっとis_empty_が書けなくて晩ご飯に行けないですよ... http://d.hatena.ne.jp/ranha/20101107/1289129831

病気の美少女 @lyrical_logical

多相的な is_empty は無理でしょう。Functor だけだとできそうな気がするけれど、結局 Map.S.t の詳細はもずーるさんしか知らないわけで、Map.Make(String) と Map.Make(Int32) さんの二人だけの世界に OreoreMap がきて破局

病気の美少女 @lyrical_logical

あるファンクタから作られたモジュールであることを表すシグネチャが存在すれば二人だけの世界を実現することはできるけれどそれはなんかできそうにないなあ・・・

Üe🦀 @ranha

@lyrical_logical caml-3.12-refman.pdfのp146 Advanced examplesを見る限りだと出来ても良い気がするんだけどなー

Üe🦀 @ranha

caml-3.12じゃなくてocaml-3.12-refman.pdf

病気の美少女 @lyrical_logical

結局 Map.Make(M).t は Ord とかどうでもいいの心があるので、functor_impl_t を作って、ファンクタが作るモジュールを表すシグネチャを Make.S を with t := functor_impl_type とかやって・・・

Üe🦀 @ranha

"Explicit naming of type variables"でcaptureした型をMap.S.'a tにぶち込んで、そのcaptureした型を使えばローカルモジュールの逃亡はしてないように騙せるんじゃないかと思ったけどどうやってMap.S.tをすり替えれば良いんだ

病気の美少女 @lyrical_logical

@ranha そういわれて考え直した結果、つまり Modl.t を関数さんに教えてやればいいだけじゃんってなって scoped type variables と with つかったら different arities っていわれてそして arity = 1 な

Üe🦀 @ranha

@lyrical_logical そこどうしたらええんやって話で喉痛いんですよ

病気の美少女 @lyrical_logical

@ranha Signature with [type|module] = name でいいはずなんだけれど、途切れてる発言のとおり型変数持った型にたいする適用の書き方がわからない。

Üe🦀 @ranha

package-type-constraint ::= type typeconstr-name = typexpr で typeconstr-nameがlowercase-identみたいな感じだからどうかんがえても type ('a t) = nanka とかはDEATH

病気の美少女 @lyrical_logical

@ranha parser.mly みた感じもそんな感じらしい。ocaml 終わったな・・・

病気の美少女 @lyrical_logical

要約すると、引数にモジュールを含む関数で、モジュールに含まれる型変数を持つ型に関する制約を書くことはできないってことか。これは技術的にできないのか、なんなのか・・・

病気の美少女 @lyrical_logical

別に型変数持つ型の場合も普通にできていい気がするので、すごく眠い、大変な時間になってるな・・・

Üe🦀 @ranha

@lyrical_logical やはりというか、Obj.magic使ってまぁ実装出来たわけですが(http://d.hatena.ne.jp/ranha/20101107/1289129831) mapの型が単に'aになっててクソ過ぎて使えないですよねぇ…

Keigo Imai @keigoi

@ranha おもしろそうなことやってますね。 http://ideone.com/kTgED としてみたんだけど type t が型コンストラクタなのでこのままでは駄目ですね…

Üe🦀 @ranha

@keigoi Explicit naming of type variablesを使うと、そこで詰まってしまうんですよね。package-type-constraintを型コンストラクタに対して付けてはいけない場合があるから入ってないのかなーと考えてみてるんですが

Üe🦀 @ranha

色々迂回させてみようとしてみてますけど、どれも上手く書けてません!! type ('a , 'b) aux = Aux of ((module Map.S with type key = 'a) * 'b (同じの).t)とかもダメですし

Keigo Imai @keigoi

@ranha 型コンストラクタにについてもpackage type constraintは付けられるはずなんだけど、なぜか first class module ではうまくいかない…

Üe🦀 @ranha

この辺か http://caml.inria.fr/mantis/view.php?id=5078 http://caml.inria.fr/mantis/view.php?id=5140

Keigo Imai @keigoi

@ranha trunkに implicit-unpackがマージされたとの事なので、そっちで試してみては？

Keigo Imai @keigoi

@ranha あっごめんなさい、 frisch : These extensions might not play so well with with-constraints extended on parametrized types. …とあるので駄目っぽいですね

Üe🦀 @ranha

取りあえずfrischさんブランチでfstclassmod_parametrizedというのがあるので、そっちをmakeしてみます。一発で通れば良いですけど.

Keigo Imai @keigoi

trunkで試しましたが(もちろん)駄目でした…

Keigo Imai @keigoi

しかしimplicit-unpack超便利！ let module無くてスッキリ module type S = sig type t val v : t end let ext = fun (type s) (module M : S with type t=s) -> M.v