type sets:类型水平集 源码

类型集 奉献精神 障碍不必阻止您。 如果碰到墙,不要转身放弃。 弄清楚如何攀爬,穿过它或围绕它工作。 -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