文件名称：implicitcalculus:隐式演算的解释器
文件大小：14KB
文件格式：ZIP
更新时间：2024-06-14 04:56:01
Haskell
隐式演算解释器 隐式演算[1]是旨在提供隐式编程基础的核心演算。 有关详细信息，请参阅草稿。 该项目包括论文中出现的源语言的解释器。 用源语言编写的程序首先被翻译成我们的隐式演算，最终被翻译成系统F。然后，解释器评估系统F程序并打印出结果。 源语言和实际实现的语言之间的最大区别是类型推断：在本文中，我们假定类型推断将在程序上完成，因此不需要注释类型。 但是，在实现中，我们不会推断任何类型，这意味着用户应为每个let变量，隐式查找和对记录的字段访问指定类型。 这是源语言的修改后的语法： E :: = x | 你：T | ？ T | ...（其余部分相同） 如果发现任何问题或错误，请报告给 。 [1] Bruno C. d。 S. Oliveira，Tom Schrijvers，Chon Wontae Choi，Wonchan Lee，Kwangkeun Yi，Philip Wadl
【文件预览】：
implicitcalculus-master
----SrcParser.y(3KB)
----CoreElaboration.hs(9KB)
----README.md(1KB)
----SyntaxSource.hs(5KB)
----examples()
--------succ.ic(150B)
----SourceElaboration.hs(6KB)
----SrcToken.hs(857B)
----Types.lhs(12KB)
----implicitcalculus.cabal(707B)
----SrcLexer.x(1KB)
----SystemFSemantics.hs(2KB)
----Main.hs(2KB)