当我尝试用以下命令编译它时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在哪里
列出限制？
这是不合法的。该限制在Haskell 2010 报告:
4.4.3.1 函数绑定
[...]
请注意，定义函数的所有子句必须是连续的，并且每个子句中的模式数量必须相同。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
