【文件属性】:
文件名称:nominal:Haskell标称数据类型和函数的实现
文件大小:102KB
文件格式:ZIP
更新时间:2021-03-16 17:32:50
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)