neko:用于 STLC、System F 和 System F-ω 的可爱类型微积分语言！ （停顿）

【文件属性】：

文件名称：neko:用于 STLC、System F 和 System F-ω 的可爱类型微积分语言！ （停顿）

文件大小：10KB

文件格式：ZIP

更新时间：2024-07-11 16:13:15

racket typing Racket

猫 用于简单类型 Lambda 微积分 (STLC)、系统 F 和系统 F-ω 的可爱类型微积分语言！ neko 又是一个可爱的猫女。 句法 Neko 使用 s-expression 作为其语法。 Neko 源代码可以写在引用的球拍列表中。 类型 Type ::= '* | Type '-> Type ('-> Type)* | '( Type ') 注意：函数类型是右结合的， t1 -> t2 -> t3等价于t1 -> (t2 -> t3) 。 单元类型(*)是刚性的。 这意味着它不适用于多态性。 例如： (a :: * -> *)不接受类型为* -> * 。 System F 和 System F-ω 通过类型变量支持多态性。 条款 Type ::= TermVar ::= <any racket

【文件预览】：
neko-master
----env.rkt(2KB)
----compiler.rkt(4KB)
----neko.rkt(1022B)
----test.rkt(499B)
----utils.rkt(644B)
----LICENSE(1KB)
----README.md(3KB)
----config.rkt(114B)
----common.rkt(4KB)
----stlc.rkt(8KB)