从有类型声明的语言，比如C++/Java转到无类型声明语言时，最难理解的地方是参数类型。
比如javascript中,isNaN这个函数，有以下其怪的行为：
isNaN("abc") // true
按类型语言的思维，这里应该先判断参数是否number类型，再做判断是否NaN的值。
事实上，isNaN先对参数做了包装，调用Number把参数包装成Number类型，再进行判断。
类型声明表达了一个强约定，参数必须满足约定才能完成功能，大多数强类型语言中需要通过多态达成通用型扩展。无类型声明语言这种对参数包装成期望类型的操作方式，以另一种方式达成了通用扩展。
isNaN({ valueOf: function() { return 0 }}) //false
isNaN({ valueOf: function() { return Number.NaN }}) //true
Javascript的通用性通过抽象操作来实现，所有对象通过调用通过valueOf()方法转型为基本对象，而Number和子类型对象返回自己的引用，实现操作一致性，且效率无损。
这就是在接口，鸭子类型之外的另一个参数类型约定。它可以简化为，实参只要可转化成形参类型。
在C++中可以通过实参定义一个类型转换函数，例如上面在C++中可能表达为：
class Number {
public:
Number(int value);
static const Number NaN;
bool operator == (Number const& other);
};
class SomeObject {
operator Number() const {
return Number(0); //或者Number::NaN;
}
};
bool isNaN(Number value) {
return value == Number::NaN;
}
