有类型的SKI演算吗？

我们大多数人都知道组合逻辑和Lambda微积分之间的对应关系。但是我从来没有见过（也许我不够深入）相当于“类型化组合器”（相当于简单类型的lambda微积分）的内容。这样的东西存在吗？在哪里可以找到有关它的信息？

与简单类型的lambda演算相比，类型组合子的表达完整性得到了证明。对于每个无类型的组合器，都需要一整个系列的类型化组合器。例如，有一个

• $\mathbf{I}_{\alpha\to\alpha}$
• $\mathbf{K}_{\alpha\to(\beta\to\alpha)}$
• $\mathbf{S}_{\alpha\to(\beta\to\gamma)\to(\alpha\to\beta\to(\alpha\to\gamma))}$

适用于所有简单类型和。$\alpha,\beta$$\gamma$

另外，只需将类型视为类型方案（或多态类型），然后将其输入Haskell和voila：combinators即可。