https://cs.stackexchange.com/questions/1816
题
我们大多数人都知道 组合逻辑 和 lambda演算. 。但是我从未见过(也许我看上去还不够深)等于“打字组合者”,与简单的lambda cyculus相对应。这样的东西存在吗?在哪里可以找到有关它的信息?
解决方案
与简单键入的lambda演算相比,打字组合的表达性完整性已经 证明. 。对于每个未经类型的组合者,都需要一个打字的组合者家族。例如,一个人
对于所有简单类型的组合,$ alpha, beta $和$ gamma $。
另外,只将类型视为类型方案(或多态性类型),然后将其输入Haskell和Voila: 组合者.