我是一个Haskell新手，他正在努力完成精彩的“了解Haskell的伟大成就”。这个问题与第8章"Kinds and some type-foo"一节中的段落有关。该段内容为:
“将 bean 腐实例化为 Frank 很简单。我们看到 bean 腐取一个 ja (因此，这种形式的示例类型为，如果是Int ，则返回)。我们将 Frank 替换为 j ，结果类型将为 Frank Int也许是。”
这使我有些困惑。在我看来，最后一句话应该是:
“因此，如果我们将 t 替换为 Frank ，则结果类型将为 Frank Int也许是。”
关于我要去哪里的任何解释将不胜感激。
最佳答案
你根本没有错。这是本书中的错误。您建议的句子是正确的。
关于haskell - 有关Learnyouahaskell.com的“Kinds and some type-foo”部分中的段落的困惑，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/9892814/