haskell - 如何在 Haskell 中获取 '[String] 的类型级别值？

Question

我可以通过以下方式获取类型级String的值:

> :set -XDataKinds
> import Data.Proxy
> import GHC.TypeLits
> symbolVal (Proxy :: Proxy "test")
"test"

如何获取 '[String] 的值，例如 Proxy::Proxy '["a", "b", "c"]？我希望能够迭代代码中的值。

Answer 1

可以通过创建另一个类型类来解决:

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
import Data.Proxy
import GHC.TypeLits

class ManySymbolVal (xs :: [Symbol]) where
  manySymbolVal :: proxy xs -> [String]

instance ManySymbolVal '[] where
  manySymbolVal _ = []

instance (KnownSymbol a, ManySymbolVal as) => ManySymbolVal (a ': as) where
  manySymbolVal _ = 
    symbolVal (Proxy :: Proxy a) : manySymbolVal (Proxy :: Proxy as)

myProxy :: Proxy '["hello","small","world"]
myProxy = Proxy

main :: IO () 
main = mapM_ putStrLn (manySymbolVal myProxy)