Data.Dynamicsで多態関数を取得するための回避策はありますか？

dynApplyからData.Dynamicsまでは非常に美しく見えますが、実際には単相性の関数型が必要です。したがって、あなたは書くことができませんでしたData.Dynamicsで多態関数を取得するための回避策はありますか？

dynApply (toDyn id) (toDyn 3)

多型の戻り値の型が必要なコードがあります。それらは制限された形式である。関数（a、b、cコンクリート型である）

forall t. (a -> t) -> t 
forall t. (a -> t) -> b -> t 
forall t. (a -> t) -> b -> c -> t 
...

。前もって感謝します。

は、可能な戻り値の型のリストは、（当然の多型 'T'、まで）を挙げることができますか？ –

@DanielWagner、このアプローチはうまくいくかもしれませんが、私はそれらを適用する必要があるものの範囲を考慮して、あまりにも多くの努力をすると思います。 – gatoatigrado

また、誰かがそれに取り組んでいるようですが（http://hackage.haskell.org/trac/ghc/wiki/PolymorphicDynamic）、結果のコードはまだありません。 – gatoatigrado

いいえ、多型関数はData.Dynamicと互換性がありません。これを行うには、多型Data.Typeableと、実行時に型チェッカーを使用する必要があります。

そこはしかし、この機能のためのチケットです：Polymorphic Data.Dynamic

2012-01-17 02:46:33 vivian

答えて