ハスケル - Data.Dynamicをマップに入れる簡単な方法はありますか？

Question

Data.Dynamicを他のData.Dynamicにマップします。何Ord Dynamicはありませんので、しかし、私は

Map Dynamic Dynamic 

を書き込むことはできません。 EDSLコンパイラの内側に>値 - （？toDyn機能のみOrd物事を受け入れ、そしてボクシング時に型クラスを具体化するDynamicのバージョンなど）すべてのソリューション

この動機は変数からマップを持つことではあります。 （明らかに、変数は異なるタイプを持つことができます）。 ：申し訳ありませんが、この問題では必要ありません。変数名をキーとして保存するだけでよいのですか？しかし、私はまだ質問に興味があります。

ありがとうございます！

Answer 1

誰かが興味があれば、私は解決策をハッキングしました。それはちょっとトリッキー/楽しいです:)

ここにコード：http://pastebin.com/KiJqqmpj。あなたが常に同じ高次タイプの機能があれば

（私はまた、あなたにTypeable1を書くの必要性を保存し、より高次のタイプのための1つを、書いた：。http://pastebin.com/aqjwFv9pをいくつかのケースでは、Typeable1インスタンスを書くことが難しいことができます。 ）

いくつかの値：

float1 = mk_ord_dyn (1 :: Float) 
float2 = mk_ord_dyn (2 :: Float) 
int1 = mk_ord_dyn (1 :: Int) 
int2 = mk_ord_dyn (2 :: Int) 

少しテスト、

*OrdDynamic> int1 == int1 
True 
*OrdDynamic> int2 == int2 
True 
*OrdDynamic> int1 < int2 
True 
*OrdDynamic> int2 < float1 
False 
*OrdDynamic> float1 < int2 
True 
*OrdDynamic> int1 == float1 
False 

Answer 2

いいえ、方法はありません。作成に関与するタイプによって、Dynamicは存在しません。 あなたが不純なものになりたい場合はStablePtrを使うことができますが、それは私が考えることができる最高のものです。

しかし、Ordを含むようにtoDynのタイプを変更することでそれを行うことができます。