2008年10月9日随笔档案 - λ-calculus in C++Blogs - C++博客

随笔-90 评论-449 文章-0 trackbacks-0

2008年10月9日

Kernel FP let-in表达式子函数包含父函数对象的类型推导

摘要: 有一些主函数的某些参数只在let-in表达式所定义的子函数使用，然后被主函数间接使用。今天修了一个bug支持了这种函数的类型推导。例子如下：阅读全文

posted @ 2008-10-09 00:19 陈梓瀚(vczh) 阅读(930) | 评论 (0) | 编辑收藏