1

HListを始めようとしています。次の方法で文字列からラベルを生成する方法（関数？）はありますか：

{-# LANGUAGE DataKinds #-}

import Data.HList

lb1 = Label :: Label "myLabel1"
lb2 = Label :: Label "myLabel2"
lb3 = Label :: Label "myLabel3"

myRec = lb1 .=. 'a' .*.
        lb2 .=. (True, 42 :: Int)  .*. 
        lb3 .=. 3.14  .*. 
        emptyRecord

main = do putStrLn "what's the label?"
          lb <- getLine -- does not work
          putStrLn $ "the value for this label is: " ++ show (myRec .!. lb)
          return ()

lb はラベルではなく文字列であるため、このコードはそのままではコンパイルされません。これを達成する適切な方法はありますか？ありがとう。

4

2 に答える 2

3

これは依存型と意味的に同等です（ゲッター関数の結果の型は文字列の値に依存します）ので、Haskell型システムでは不可能だと思います。

于 2014-11-20T12:16:55.647 に答える
1

連想リストに変換myRecするので、使用できますlookup lb (toAssocList myRec)

  toAssocList (Record a) = hMapOut ShowFn a :: [(String, String)]

  -- unfortunately a bit ugly:    
  data ShowFn = ShowFn

  instance (lv ~ Tagged l v, ShowLabel l, Show v, r ~ (String,String))
        => ApplyAB ShowFn lv r where
    applyAB _ (Tagged v) = (showLabel (Label :: Label l), show v)
于 2014-12-21T23:28:41.647 に答える