摘要：Scalar evolution技术与i^n求和优化 （如果不想看一开始的引例，想直接看Scalar evolution，可以直接跳过这个“引例”部分。） 引例 考虑$i^3$求和 \[ S=\sum_{i=1}^n{i^3} \] 其C语言代码为 #include <stdio.h> int ma 阅读全文

摘要：ulam 基于C语言的无类型Lambda演算解释器 github：https://github.com/hhusjr/ulam 代码很简短，只有单个C语言文件，600行不到。后面会逐步加入更多语法特征，以及改进为具有类型的$\lambda-calculus$等等。 后续会更新解释器的具体的实现方式与 阅读全文