泰康

Tycon:类型构造函数类和Monad转换器。这些理论包含了第一类类型构造函数和HOLCF的公理构造函数类的形式化。作者在ICFP 2012年的论文《Monad变压器的形式验证》中详细描述了这项工作。正式化是早期与马修斯和怀特的联合工作的修订和更新版本。基于Haskell中类型类的层次结构,我们定义了函子、单子、monad plus等类,每个类都包含了所有的标准法则作为公理。我们还提供了一个新的用户命令tycondef,用于在HOLCF中定义新类型构造函数。使用tycondef,我们用各种monad和monad转换器实例化类型类层次结构。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换