clofrp:简单类型时钟类型理论

【文件属性】：
文件名称：clofrp:简单类型时钟类型理论
文件大小：939KB
文件格式：ZIP
更新时间：2021-05-16 23:19:42
Haskell 时钟功能无功编程 在ITU上我的硕士论文的时钟类型理论（CloTT）的简单类型版本的实现（回购中提供了pdf）。 CloFRP（也称为CloPL）是一种能够进行安全的归纳编程的语言。 具体来说，它使用受保护的递归来确保共递归定义是有效的和因果的。 与普通的nakano风格的保护递归相比，这个新颖的想法是，它引入了时钟和滴答的概念，这些时钟和滴答用于展开保护递归的定义。 人们可以全天候地量化表达真正的共性定义（与保护性递归相反），这些定义可以保持生产率的保证，但可以放松因果关系的约束。 这样，我们可以弥合共同递归和保护递归定义之间的鸿沟。 最重要的是，递归函数的“保护”在其类型签名中是明确的。 除了这些想法外，CloFRP类似于由Haskell启发的普通语言。 因此，它具有以下特点： 数据类型声明语法álavanilla Haskell 输入同义词 严格肯定类型的fmap（functo

【文件预览】：
clofrp-master
----Setup.hs(326B)
----.ghci(65B)
----Functional Reactive Programming in CloTT.pdf(824KB)
----derivations.tex(3KB)
----package.yaml(2KB)
----library()
--------CloFRP()
----benchmark()
--------Main.hs(516B)
--------BenchEval.hs(20KB)
--------EveryOther.hs(2KB)
--------ReplaceMin.hs(3KB)
--------CoNats.hs(1KB)
--------ScaryConst.hs(1KB)
----test-suite()
--------Main.hs(2KB)
--------Fixtures.hs(7KB)
--------CloFRP()
----LICENSE.md(1KB)
----README.md(4KB)
----stack.yaml(2KB)
----bench.ps1(529B)
----NOTES.md(5KB)
----.gitignore(238B)
----CHANGELOG.md(240B)