文字列から型付き値に変換する

Question

値と型のリストを持つファイルがあります。読み込んだ後、それらをdbに入れる必要があります。そのために、私は適切に入力されたタプルを挿入機能を提供する必要がありますので、私は

が予想と一致しませんでしタイプ 'で失敗している。この

toProperType :: String -> String -> a 
toProperType tp val = 
    case tp of 
    "string" -> val   -- ::String 
    "int" -> toIntType val -- ::Int64 
    "bigint" -> toIntType val -- ::Int64 
    "integer"-> toIntType val  
    "utcdate"-> toDateType val -- :: UTCTime 
    "double" -> toDoubleType val -- :: Double 

のようなものを使用して値を変換しようとしています実際のタイプが「Double」の「a」は、

と結びついたリジッドタイプの変数です。

この機能を実現するには、どのような方法が適していますか？

は、たぶん私はいくつかの拡張機能を必要とするか、THで別々の機能を生成

Answer 1

ここでの問題は、あなたの関数型で-> aの意味である（しかし、それらをディスパッチする方法がわかりません）。実際にこのタイプの関数がある場合は、という名前の関数をという名前の関数で選択した具体的な型を指定できるようにする必要があります。タイプ

String -> String -> MyCustomType 

ただし、これはあなたが気にしていたことではありません。あなたは「すべてのタイプのために」という意味ではありません。「2つの文字列について、値があるタイプはaです。この考え方は、呼び出し側ではなく型変数を選択することを「存在量の定量化」と呼び、GHCはそれをサポートしています。しかし、私は本当にそれがあなたがしたいことだとは思わない。結局のところ、実際にこの機能を使用する場合は、UTCTimeまたはDoubleなどが返ってきたかどうかを判断することができます。その上

data Dyn = String String | Int Int | BigInt Integer | UTCDate UTCTime ... 

と：あなたが（ちょうどあなたがpolymoprhic関数で型変数のケースができないかのように）存在量化でこれを行うことはできませんので、我々は代わりにカスタムデータ型を作成する必要があります。それは、これは深刻なHaskellライブラリは、あなたが良いにしているJSONの解析のようなものを扱うか、どのような方法ではありませんあなたはあなたのタイプを返すことがあり、それぞれの場合について明示的なコンストラクタをリストアップして、あなたの関数が

toProperType :: String -> String -> Dyn 
toProperType tp val = 
    case tp of 
    "string" -> String val   -- ::String 
    "int" -> Int $ toIntType val -- ::Int64 
    "bigint" -> BigInt $ toIntType val -- ::Int64 
    "integer"-> Integer $ toIntType val  
    "utcdate"-> UTCDate $ toDateType val -- :: UTCTime 
    "double" -> Double $ toDoubleType val -- :: Double 

を読み込みます、です会社。今すぐそれは型付きであり、誰でもこの関数を単にDyn値のケースで呼び出し、返された型に基づいて何をすべきかを決定します。