6

我想知道是否有一种很好的方法来引用值类型，而无需type在代码中使用显式别名（不是在运行时 - 这里没有具体化）。

采用以下代码（使用Data.Vinyl）：

{-# LANGUAGE DataKinds, TypeOperators #-}

import Data.Vinyl

name = Field :: "name" ::: String
age = Field :: "age" ::: Int
type Person = ["name" ::: String, "age" ::: Int]

这里我们有类型"name" ::: String并"age" ::: Int在两个地方重复。如果我们在多个记录中重用字段，这可能会变成多个地方。尽管Person类型实际上是指组成字段，但类型声明是独立的。因此，更改age为 表示Float，需要在各个地方进行更改。

显然，没有必要显式键入内容，因为它们会被推断出来。但是，在我的情况下，记录类型是从选项解析器返回的，因此是导出的。同样，可以编写以下内容：

type Name = "name" ::: String
name = Field :: Name
type Age = "age" ::: Int
age = Field :: Age
type Person = [Name, Age]

然而，这涉及到另一个类型别名的负载和双倍的行数。我希望能够写的是以下内容：

name = Field :: "name" ::: String
age = Field :: "age" ::: Int
type Person = [typeof name, typeof age]

这将 a 的类型显式链接Person到其字段的类型。

有没有办法（最好是 sans-TH，但我什至有兴趣涉及 TH）来做到这一点？

4

1 回答 1

0

String -> [Name] -> DecsQ从以下内容中创建一个功能应该很容易。ghc7.6（至少）太糟糕了，检查类型同义词中的循环似乎阻止了更漂亮type Person = $(listOfT ['name, 'age])的工作。

{-# LANGUAGE DataKinds, TemplateHaskell, TypeOperators #-}
import Language.Haskell.TH
import Control.Applicative
import Data.Vinyl

name = Field :: "name" ::: String
age = Field :: "age" ::: Int

let listOfT (n:ns) = do
        VarI _ ty _ _ <- reify n
        (appT promotedConsT) (return ty) `appT` listOfT ns
    listOfT [] = promotedNilT
 in return <$> tySynD (mkName "Person") [] (listOfT ['name, 'age])
于 2014-02-03T04:18:41.923 回答