2008年11月2日
摘要: 有了Expected语法之后总是要实验一下的。现在给出一个非完整函数eq的声明，并用一个列表查找函数使用eq。已知代码如下：
阅读全文
posted @
2008-11-02 07:36 陈梓瀚(vczh) 阅读(1559) |
评论 (0) |
编辑 收藏
摘要: Kernel FP的模板函数比较严格。对于任意的模板函数的类型参数，这个参数必须能够接受所有类型。当然，类型推导会通过阅读代码来精确化程序员设定的类型。譬如说一个函数F的类型是T->T，但是经过阅读代码发现，参数只能是某种类型的列表，那么类型推导就会将这个函数的类型修改为list T->list T。
但是这样会有一个问题。类型推导只能够推导已知的函数。如果一个模板函数里面用了操作符，而这个操作符暂时只为几个类型定义的话，那么由于不是所有的类型都能够接受该操作符，所以这个操作符就没办法给未知确切类型的参数使用。下面就有一个例子：
阅读全文
posted @
2008-11-02 06:52 陈梓瀚(vczh) 阅读(1381) |
评论 (0) |
编辑 收藏