【文件属性】：
文件名称：type-sets:类型水平集
文件大小：35KB
文件格式：ZIP
更新时间：2021-03-10 08:02:01
Haskell
类型集
奉献精神
障碍不必阻止您。 如果碰到墙，不要转身放弃。 弄清楚如何攀爬，穿过它或围绕它工作。
-Michael Jordan，关于Haskell的复杂性分析
概述
您讨厌在类型级别上编程，但是只能使用列表吗？ 一百万？ 两百万？ 一些数学家怀疑，仇恨可能更大。
输入type-sets 。 它们是在类型级别设置的！ 检查一下：
{-# OPTIONS_GHC -fplugin=Type.Compare.Plugin #-}
import Type.Set
type MySet = Insert Bool ( Insert String ( Insert ( Maybe Int ) 'Empty ))
test1 :: Proxy ( Member Bool MySet ) -> Proxy 'True
test1 = id -- Bool is a member :)
tes
【文件预览】：
type-sets-master
----.gitignore(37B)
----Setup.hs(46B)
----src()
--------Type()
----.travis.yml(436B)
----stack.yaml.lock(447B)
----magic-tyfams()
--------.gitignore(31B)
--------Setup.hs(46B)
--------src()
--------LICENSE(1KB)
--------README.md(2KB)
--------magic-tyfams.cabal(1KB)
--------package.yaml(719B)
--------ChangeLog.md(341B)
----LICENSE(1KB)
----cabal.project(95B)
----README.md(2KB)
----cmptype()
--------.gitignore(31B)
--------Setup.hs(46B)
--------src()
--------LICENSE(1KB)
--------cmptype.cabal(2KB)
--------README.md(1KB)
--------package.yaml(909B)
--------test()
--------ChangeLog.md(355B)
----package.yaml(797B)
----test()
--------Spec.hs(9KB)
----ChangeLog.md(199B)
----type-sets.cabal(1KB)
----stack.yaml(60B)