Haskell 打字错误能帮你学好哈斯克尔吗？

我们在书中读到

就像我们可以部分应用函数来获得新函数一样，我们也可以部分应用类型参数并从中获得新的类型构造函数

如何将参数应用于其他对象？我想应该是这样的

就像我们可以部分应用函数来获得新函数一样，我们也可以部分应用类型构造函数，为它们提供比它们期望的更少的类型参数，并从中获得新的类型构造函数

你同意吗？

作者似乎使用apply来表示函数对参数的作用以及函数的参数

再往下我们读

我们将通过只输入一个参数来部分应用这两种方法

如果意义是前者， 以及

让我们将type参数应用于Maybe，看看该类型是什么

其中的含义是后者。

作者似乎使用apply来表示函数对参数的含义以及参数对函数的含义

再往下我们读

我们将通过只输入一个参数来部分应用这两种方法

如果意义是前者， 以及

让我们将type参数应用于Maybe，看看该类型是什么

---

这里的意思是后者。

我同意你的看法。不同意，因为：键入AssocList k v=[k，v]这是一个基于讨论的问题，更适合/r/haskell@MichaelLitchard，你能解释一下你陈述背后的理由吗？是什么使这个问题基于意见？我不同意，因为它被非正式地接受为这样的说法：例如，将参数应用于函数，它们的用法是这个函数的有效扩展。我同意你的观点。不同意的原因是：类型AssocList k v=[k，v]这是一个基于讨论的问题，更适合/r/haskell@MichaelLitchard,你能解释一下你陈述背后的理由吗？是什么使这个问题基于观点？我不同意，因为人们非正式地接受这样的说法：例如，将参数应用于函数，它们的用法是这个函数的有效扩展。从我非英语母语的角度来看，前者和后者都是正确的，因为Int->Char和Char->Int是同一类型的，因此问题就来了。似乎我的非英语愚蠢愚弄了我，从而使问题成为基于观点的问题。从我非英语母语的角度来看，前者和后者都是正确的，因为Int->Char和Char->Int是同一类型的，因此问题。看来，我的非英语的愚蠢愚弄了我，从而使问题的意见为基础。

ghci> :k Maybe Int