2007年7月存档

“有形函数编程”-icfp版本

我刚刚提交了“有形函数编程”,用于2007年ICFP。我对这个版本很满意。自从我第一次提交给ICFP'06以来,由于许多有用的评论,它得到了极大的改进。我还在深箭头,菲奥伊、和电视,为软件版本做准备。它变得越来越简单,但并不像我想的那么简单。

实现部分值的类型

部分值的类型

在简化我的爱神实现时,我发现使用了一种表示有关值的部分信息的类型。我想出了一个非常简单的实现,虽然可能并不太理想。在这篇文章中,我将介绍接口并提出实现的想法。在下一篇文章中,我将给出我使用的实现。

继续阅读“部分值的类型”»