文件名称：stlc:简单类型λ演算的优化类型推断
文件大小：5KB
文件格式：ZIP
更新时间：2024-05-20 07:12:56
C
薄层色谱 这是用于简单类型（或“单态”）λ演算的优化类型推断算法。 编写该算法的简单实现非常简单，但是在Haskell之前，我对C中“文字”方法的效率低下感到不满，为每个术语和每种类型分配一个结构，等等。所以我尽我所能优化算法。 结果可能未达到最佳效果，但按照目前的情况，给定大小为n的λ项，该算法将仅使用n个开销字就可以推断线性时间中的简单键入。 （幼稚的方法将为每个子项使用三次空间，并为每个类型的原子和运算符再次使用三次。） 条款 我们的术语表示法是一个单词数组，第一个（索引为0）是整个数组的长度。 数组的其余部分的结构如下，从索引1的“ root”开始。 在索引1处的抽象表示为t 1 =λx₁.t 2 ，表示为值1的单词（即其自身的索引），其后是在索引2处的主体子项t 2。 索引为1的应用程序，写为t₁=tₑt2 ，用一个单词表示，其左侧子项tterm的索引为值，其后为右侧子项
【文件预览】：
stlc-master
----stlc.h(904B)
----valid.c(899B)
----show.c(798B)
----README.md(5KB)
----Makefile(252B)
----infer.c(1KB)
----.gitignore(9B)
----main.c(568B)