実行時に関数またはデータを呼び出す

Question

実行時にデータを構築する可能性はありますか？私は "読み取り"機能のようなものだが、[（フィールド名、値）]に当てはまるものを意味する。だから私はこのようにそれを使用することができます

genericConstructor :: (DataConstructable a) => String -> [(String, a)] -> a 

：：私はのような機能を持つようにしたいのは、私が

data Street = Street String 
data City = City String 
data ZipCode = ZipCode String 

data Address = Address { 
     street :: Street, 
     city :: City, 
     zipCode :: ZipCode 
} 

を持っているとしましょう

genericConstructor "Address" [("street", Street "Baker"), 
           ("city", City "London"), 
           ("zipCode", ZipCode "12345")] :: Address 

私は任意の定型的なコードをしたくありません、 Reflection API for Javaに似たものを探しています。 現在、Data.DataおよびData.Typeableモジュールを見ていますが、どのように達成できるかわかりません。

これの目的は、いくつかのデータ形式とhaskellデータ構造の間のバインディングを作成することです。

Answer 1

私はあなたのscemeの一つの問題は、

genericConstructor :: (DataConstructable a) => String -> [(String, a)] -> a 

すべての「引数」で同じ構築可能タイプでなければならないであろうということだと思います。そのため、あなたは私が行うにはどのように完全にはよく分からない

genericConstructor :: (DataConstructable a) => String -> [forall b. DataConstructable b => (String, b)] -> a 

の線に沿って何かが必要になり、私は認めなければなりません。

データフォーマット文字列のすべてを解析するだけでは簡単ではないでしょうか？

Answer 2

ここには、あなたが求めているものに近いものがあります。

import Data.Data 
import Data.Dynamic 
import Data.Maybe 

data City = City String deriving (Data, Typeable, Show, Eq) 
data Street = Street String deriving (Data, Typeable, Show, Eq) 

data Addr = Addr { 
    city :: City 
,street :: Street} deriving (Show, Eq, Data, Typeable) 

class Foo a where 
    genericConstr :: [(String,Dynamic)] -> a 

instance Foo Addr where 
    genericConstr = buildAddr 

lf ls nm = fromMaybe (error $ nm ++ " not found") (lookup nm ls >>= fromDynamic) 

buildAddr ls = Addr {city = lf ls "city", street = lf ls "street"} 

ロードこの、およびGHCiの中：

*Foo> genericConstr [("street", toDyn (Street "Baker")), ("city", toDyn (City "London"))] :: Addr 
Addr {city = City "London", street = Street "Baker"} 

これは、しかし、私には多くの作業のように思えます。 Haskellではすべての型をコンパイル時に解決する必要があるため、これは難しいことです。この場合、実行時情報（文字列「アドレス」など）を持つ型を作成しようとしています。これは可能ですが、すべてのステップでタイプシステムと戦うことになります。 Jasonとパーサーを使う方がおそらく良い方法だと私は同意します。