递归的表达能力与终止保证之间的取舍
Weirich用不动点组合子让匿名函数获得递归能力；Wadler明确简单类型演算的终止保证排除了无限制不动点算子。同一递归机制在前者是表达能力来源，在后者是保证边界。
对照原文
the function y calculates the fixpoint of an improver function.not using What's called the fixo operator that is unlimited General recursion比较的是演算与类型约束，不是宣称所有静态类型语言都不能递归。