2008年10月11日
摘要: 类型推导到这里也就结束了。虽然可能有点小bug，不过这个以后遇到再处理了。接下来的一个模块是跟类型推导没有耦合的新模块，两边可以平行处理。
Kernel FP的指令集不同于以往的指令集。因为作为一门纯函数式语言，就必须要有laziness。这就是说，凡是可以不运行的代码都一定不运行，凡是可以晚一点执行的代码一律等到需要的时候再执行。也就是说，参数传进函数的时候，传的是代码而不是值。因此指令集只能用来表达代码的逻辑结构。
阅读全文
posted @
2008-10-11 02:10 陈梓瀚(vczh) 阅读(1496) |
评论 (1) |
编辑 收藏