strongly-typed-bound:我的 Kmett 版本的“acowley 的强类型绑定”片段

强类型绑定 是一个用于操作包含变量的术语的库。 使用该库编写的术语保证范围很广。 我很高兴地在描述一个强类型版本片段，这意味着术语也保证了很好的类型的。 包含了一切：类型家族、数据种类、更高级别的 monad 转换器、对unsafePerformIO和unsafeCoerce优雅使用，甚至是对 comonad 的无偿使用。 它只有 255 行代码，是展示这些更高级 Haskell 功能用途的一种紧凑方式，但阅读起来也有点令人生畏。 为了让强类型绑定的思想更容易理解，我写了一个不太通用的版本，使用较少的技巧，并有更多的评论。 动机 如果我被要求表示简单类型的 lambda 演算，我的第一次尝试可能看起来像这样。 data Exp a where Unit :: Exp () App :: Exp ( a -> b ) -> Exp a -> Exp b Lam