형식을 동적으로 윤곽 지정

Question

데이터 스트림을 deserialize하려는 중입니다 (개념적으로) ("TypeName", "blah" ("blah"은 TypeName의 일부 개체에 대해 read에 적절하게 입력 됨)로 구성됩니다.

read의 결과 유형을 동적으로 선택하는 방법이 있습니까? Data.Dynamic 또는 Data.Typable과 같은 것을 사용합니까?

Answer 1

이 올바른 방향을 가리켜 야 :

import Data.Typeable 
import Data.Dynamic 
import Control.Applicative 

readMay :: Read a => String -> Maybe a 
readMay s = case reads s of 
    (a,[]):_ -> Just a 
    _ -> Nothing 

reconstruct :: Typeable a => (Maybe a -> r) -> (String, String) -> r 
reconstruct k (typ,val) = 
    case typ of 
     "string" -> k $ cast =<< (readMay val :: Maybe String) 
     "int" -> k $ cast =<< (readMay val :: Maybe Int) 
     "double" -> k $ cast =<< (readMay val :: Maybe Double) 

reconstructToDyn (typ,val) = 
    case typ of 
     "string" -> toDyn <$> (readMay val :: Maybe String) 
     "int" -> toDyn <$> (readMay val :: Maybe Int) 
     "double" -> toDyn <$> (readMay val :: Maybe Double)