【文件属性】:
文件名称:higgledy:通过泛型获得更高种类的数据
文件大小:19KB
文件格式:ZIP
更新时间:2021-05-04 16:08:25
generics ghc higher-kinded-types Haskell
gg :books:
通过泛型获得更高种类的数据:所有*优点,但没有*样板。
介绍
当我们使用,我们发现自己编写的类型如下:
data User f
= User
{ name :: f String
, age :: f Int
, ...
}
很好-我们可以将f ~ Maybe用于部分数据,将f ~ Identity用作完整数据,等等-但它会引入大量的噪声,并且我们有很多样板可做。 如果我们可以重新回到编写我们熟悉并喜欢的简单类型并免费获得所有这些东西,这会很好吗?
data User
= User
{ name :: String
, age :: Int
, ...
}
deriving Generic
-- HKD for free!
type UserF f = HKD
【文件预览】:
higgledy-master
----.gitignore(13B)
----higgledy.cabal(2KB)
----Setup.hs(136B)
----src()
--------Data()
----LICENSE(1KB)
----CHANGELOG.md(111B)
----cabal.project(38B)
----README.md(8KB)
----test()
--------Doctest.hs(238B)
--------Main.hs(6KB)
----README.lhs(9B)