我是一个Haskell noob,他正在通过精彩的"了解你为伟大的好人的哈斯克尔"而努力.这个问题与第8章"Kinds and some type-foo"一节中的段落有关.该段落如下:
"让Frank成为豆腐的一个例子很简单.我们看到豆腐需要一个ja(所以这种形式的一个例子就是Maybe Int)并返回一个taj.所以如果我们用j替换Frank,结果类型将是Frank也许吧."
这让我有点糊涂了.在我看来,最后一句应该是:
"因此,如果我们用Frank替换t,结果类型将是Frank Int Maybe."
关于我出错的地方的任何解释都将非常感激.
| 归档时间： |
|
| 查看次数： |
278 次 |
| 最近记录： |