我的商业思维的变迁

引子:我认为作为一个程序员不能不对商业有一些概念,从大一算起,我踏入计算机/互联网互联网行业已经有7年了,这期间我关于商业的思考有了很多变化

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

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

Summary 2020

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