有没有办法确保从hackage下载的真实性？据我所见,什么都没有.没有针对hackage的https,也没有针对tarball的(强)校验和,也没有签名.
那么:如何从hackage验证下载的真实性？
TemplateHaskell引用文档两个quotes('')作为获取类型名称的方法:
> ''String
GHC.Base.String
这适用于此类型(名称).但是,我找不到一种方法让它适用于例如Maybe String:
> ''Maybe String -- interprets String as a data constructor
> ''Maybe ''String -- wants to apply ''String to the Name type
我知道我可以通过使用来解决[t| Maybe String |],但是这是在Q monad中,并且需要更改类型,并且我认为不会在相应的时刻进行类型检查,只有在拼接时.
我也可以首先定义一个类型别名,type MaybeString = Maybe String然后使用''MaybeString,但这也很麻烦.
有什么办法直接通过''报价直接得到我想要的东西？