文件名称：nominal:Haskell标称数据类型和函数的实现
文件大小：102KB
文件格式：ZIP
更新时间：2024-04-05 11:19:30
Haskell
名义上的 基本信息 名称绑定和alpha等效性与数据的交互可能很棘手。 示例包括： 归纳定义语法并通过绑定简化语法，例如lambda-演算或SystemF。 类似于图的结构，尤其是当它们具有单指指针时。 该程序包根据名称和交换在Haskell中实现名义上的数据类型程序包。 借助它，您可以定义名称绑定的数据，并以与非正式实践非常相似的方式对此数据进行编程。 封装设计基于经过充分研究的数学参考模型，模型在描述（ ）。 有关用法，请参阅： 。 从希望查看正在使用的功能的正在工作的程序员的角度，这涵盖了包的要点。 是一个经典示例（如下所示）。 （改编自）。 （改编自）。 讨论了编程风格，并附有推荐做法的示例以及应避免的内容。 是在类似于典型实践的情况下应用这些功能的说明性示例。 是另一个非常不同的示例，这些示例以类似于典型实践的方式应用了这些功能。 正在准备更多示例。
【文件预览】：
nominal-master
----Setup.hs(836B)
----CHANGELOG.markdown(138B)
----doctest()
--------DocTest.hs(366B)
----src()
--------Language()
----LICENSE(1KB)
----test()
--------Language()
--------Spec.hs(44B)
----nom.cabal(5KB)
----README.md(6KB)
----stack.yaml(334B)
----.gitignore(132B)