如何推断 Scott 编码的 List 构造函数的类型？
Scott 编码列表可以定义如下： <pre><code...
如何使用函数编码实现 Haskell 的 newtype？
注意事项：这是一个跨语言问题。 我将通过实施差异列...