9

在解释器中工作时,将函数绑定到名称通常很方便,例如:

ghci> let f = (+1)
ghci> f 1
2

这将 name 别名为ffunction (+1)。简单的。

但是,这并不总是有效。我发现的一个导致错误的示例是尝试nubData.List模块中取别名。例如,

ghci> :m Data.List
ghci> nub [1,2,2,3,3,3]
[1,2,3]
ghci> let f = nub
ghci> f [1,2,2,3,3,3]

<interactive>:1:14:
    No instance for (Num ())
      arising from the literal `3'
    Possible fix: add an instance declaration for (Num ())
    In the expression: 3
    In the first argument of `f', namely `[1, 2, 2, 3, ....]'
    In the expression: f [1, 2, 2, 3, ....]

但是,如果我明确说明该论点,x则它可以正常工作:

ghci> let f x = nub x
ghci> f [1,2,2,3,3,3]
[1,2,3]

谁能解释这种行为?

4

1 回答 1

3

当前 Ghci 版本中的类型默认规则有些难以理解。

您可以为f. 或者按照 Chris 之前的建议添加:set -XNoMonomorphismRestriction到您的文件中。~/.ghci

于 2011-12-28T14:36:24.960 回答