在 Scheme 语言上构建静态类型系统

因为工作的关系,需要在古老的 Scheme 上实现一个编译到某种 Vectorized statically typed IR 的编译器,其编译过程需要支持 on-demand parameterized polymorphic ,比如 + 这个函数,需要按需实例化为支持向量+常量

Summary 2020

年终总结似乎是一个技术圈流行的活动,我在18年也写过,可是现在的心境已经不太一样了。18年的年终总结看起来像一个约束,一个计划,但是其实总结