clojure-transducers-in-haskell:Clojure 换能器在 Haskell 中的打字设置

Clojure 换能器在 Haskell 中的打字设置 我正在努力理解 Rich Hickey 在 Clojure 中关于转换器的概念，他在宣布并发布了一些以响应。 那里的讨论让我很困惑，我决定在我真正用静态类型语言重新实现这些想法之前，我无法真正理解发生了什么。 幸运的是，在另一个，他发布了实际运行的，这对我帮助很大，因为到目前为止我看到的大部分讨论要么非常模糊，要么非常抽象。 所以我重构了他的代码以完全适合他所做的，而不是更一般的东西，并发布了我重构的代码作为回应。 我希望这将帮助更多的人使用类型准确地理解他们的工作。 Rank-2 类型 请注意，这项工作的关键组成部分涉及使用 。 不能在不支持更高等级类型的较弱类型系统中表示转换器。 我希望转换器的引入会在那些还不熟悉高级类型的人中引起很多兴趣。 我的博文 我写了的。