haskell 中“选择”的想法

drunkedcat

最近突然想到这个问题，在 haskell 中，可以用 pattern matching ，也可以用 if 来实现不“选择分支”结构，有什么不同呢？
于是作了个实验。


代码如下

diff1 :: Int -> Int diff1 x         | x < 0 = 0         | otherwise = 1 diff2 :: Int -> Int diff2 x =         if x < 0         then 0         else 1 -- diff3 :: Int -> Int -- diff3 x = --         case x of --           x < 0 -> 0 --           x >= 0 -> 1

发现， diff1 和 diff2 的运行结果是一样的。但是是 diff3 会报语法错。
这样看起来， diff1 的方法更方便，更简捷一些，而且可以避免多个 if 的嵌套，只是要考虑从上到下匹配的问题。
欢迎各位拍砖。

MMMIX

diff1 那个不叫 pattern matching，而叫 guard，实际上就是个嵌套的 if/elseif。在 diff3 那倒是需要个 pattern，可你又没写，当然是语法错误了。

[ 本帖最后由 MMMIX 于 2008-12-20 10:25 编辑 ]

flw

case of 本来就不是这么用的。
case of 只能用来做模式匹配。

你如果非要用 case of 的话，可以这么写：

1. case x of
   
2.     _ | x < 0 -> 0
   
3.       | x >= 0 -> 1

复制代码

drunkedcat

多谢楼上各位，学习了。

Magicloud

另外guard能做的判断比if少。

MMMIX

原帖由 Magicloud 于 2008-12-21 21:00 发表
另外guard能做的判断比if少。

嗯，guard 后不允许 exp0 :: [context =>] type 这种形式的表达式。