魔兽争霸3中死亡骑士（Death Knight）出生时就会说一句：
The pact is sealed.
契约已签订。
看过N多童话故事和电影的小伙伴们肯定熟悉这种场景：
大反派斗不过主角，处于劣势时，就会与诸如恶魔签订契约，以自己的青春换取强大的力量，即：
青春 --> 恶魔 恶魔 --> 力量
我们把这个再改变一下：
恶魔 【得到】{青春} -> {力量}
看起来有点眼熟，这不就是function/method干的事情吗？
function 与恶魔签订契约(青春) {
return 力量;
}
拿一个PHP简单的函数来说吧，此函数是这样的：
function getFullName($givenName, $surname) { return $givenName.' '.$surname; }
对于调用方来说，如此调用：$fullName = getFullName($realGivenName, $realSurname);
输入 $realGivenName 和 $realSurname 不知道是否返回结果，有结果也不知道是什么。
这里 $givenName和 $surname 两个形参对比之下就是契约条件，而返回的值就是契约回馈。
每天在敲代码，原来就是在写各种各样的契约，然后各个契约被各种各样的大反派（调用方）签订（调用）。
再来看Java的一个方法
public static String getFullName(String givenName, String surname) { return givenName + " " + surname; }
给一个String类型 和 一个String参数，返回一个String 类型的结果；
去跟PHP对比一下，发现Java的Method契约条件的限制更加严格了，而契约回馈的描述也更加准确了。
即PHP函数在调用时，函数形参如果不限制类型的话，可以是任意类型（$givenName 可以是一个int，也可以是array，甚至是一个resource类型，或者干脆是null），
基于动态语言的特点，甚至还可以传多于/少于（少于的话PHP会报Warning级别的错误）function规定的参数数目进去！
所以在上面这种实现在遇到特殊情况下，就会出现意想不到的结果，因此具体实现要对变量类型、值做各种判断；
而Java在实现内则不需要做类型判断，只需要处理空的情况即可；
对于return 的结果来说，PHP function实现可以返回 null、int，array，resource... 又是不限制类型和值！契约回馈又是模糊的描述……
所以，PHP function/method 契约是模糊的，契约回馈的描述也是模糊，而Java则更加强调契约发起方和契约执行方的明确的责任；
如此这般，PHP 一个function/method 实现（契约执行方）就头大了，调用方（契约发起方）传过来的参数（契约条件）很有可能存在
意想不到的情况，于是就需要在实现内加类型判断， 处理空或者其他情况。调用方也不知道实现是否真的能达成契约描述（function/method名称，注释等）
那样的美好的结果，调用方又得对实现返回进行判断。
而Java则只是对象参数需要处理null的情况，因为有一步编译的过程，类型则不需要费心。即在通过编译后，契约双方的基本条件和回馈描述被保证了。
PS：这么一说，编译器（Compiler）听起来就像是一个公证人似的。
总的来说，PHP因为不必在声明变量或者制定方法签名时声明类型，所以是弱契约。
弱契约的好处是显而易见的：
调用方的责任限制变少，执行方（实现）的责任 加重（即兼容 各种参数情况），那么只需要一个契约执行方，就可以满足多种调用方的情况。
即一个function/method实现，调用方多种情况来调用都是没问题的；
我们也可以把这种实现成为健壮的实现；
Java则是强契约，好处不必多说，但是劣势对比弱契约也是很明显，调用方参数若是出现了另外一种类型或者参数变多/变少，则不得不重载（Overload），
如果业务复杂起来，重载方法写起来简直是恶心；
说道这里泛型横空出世，我们可以理解泛型其实就是在强契约和弱契约之间的一种折中，即Method契约不再死板地限制某个具体类型，也不死板地规定
返回某个具体类型，而是规定为某一系列的类型，即在强契约的上弱化了一些，将类型限制放宽。
使用了泛型的方法，则可以满足调用方的某一系列的参数类型情况，让我们少些重载方法，减少了代码量 :)
return ；