haskell - Haskell 函数的参数数量

Question

当我尝试使用 ghc 编译它时，它提示函数定义左侧的参数数量不同。

module Example where

import Data.Maybe

from_maybe :: a -> Maybe a -> a
from_maybe a Nothing = a
from_maybe _ = Data.Maybe.fromJust

我想知道这是否是 ghc 限制。我试着看看我是否可以在 Haskell 2010 中找到有关参数数量的任何信息报告但我没有成功。

这是合法的 Haskell 吗？如果不是，这个参数count在哪里列出限制？

Answer 1

这是不合法的。该限制在 Haskell 2010 Report :

4.4.3.1 Function bindings

[...]

Note that all clauses defining a function must be contiguous, and the number of patterns in each clause must be the same.