Haskell守护lambda函数？

Question

是否有可能在lambda函数上有警卫？

例如：

\k 
    | k < 0  -> "negative" 
    | k == 0 -> "zero" 
    | otherwise -> "positive" 

Answer 1

不。最近的直接翻译有点像

\k -> case() of 
     _ | k < 0  -> "negative" 
     | k == 0 -> "zero" 
     | otherwise -> "positive" 

Answer 2

我喜欢保持lambda短而甜，以免打破读者的视觉流。对于一个函数，其定义在句法上足够大以保证守卫，为什么不把它放在where子句中？

showSign k = mysign ++ " (" ++ show k ++ ")" 
    where 
    mysign 
    | k < 0  = "negative" 
    | k == 0 = "zero" 
    | otherwise = "positive" 

Answer 3

由于GHC 7.6.1有一个叫MultiWayIf的扩展，它可以让你写了以下内容：

\k -> if 
    | k < 0  -> "negative" 
    | k == 0 -> "zero" 
    | otherwise -> "positive" 

这起码是更愉快的看使用case比其他。

对于模式匹配，存在相关的扩展名为LambdaCase：

\case 
    "negative" -> -1 
    "zero"  -> 0 
    "positive" -> 1 
    _   -> error "invalid sign" 

这些扩展都不是标准的Haskell的一部分，尽管，并且需要在顶部通过{-# LANGUAGE LambdaCase #-}或{-# LANGUAGE MultiWayIf #-}编译明确启用或者通过编号与国旗-XLambdaCase或-XMultiWayIf。

Answer 4

优雅和简洁的方式与LambdaCase做到这一点：

{-# LANGUAGE LambdaCase #-} 

\case k | k < 0  -> "negative" 
     | k == 0 -> "zero" 
     | otherwise -> "positive" 

或

\case 
    k | k < 0  -> "negative" 
    | k == 0 -> "zero" 
    | otherwise -> "positive" 

的情况时，我用它，赶上一个EOF错误：

{-# LANGUAGE ScopedTypeVariables #-} 

o <- hGetContents e `catch` (\case (e :: IOException) | isEOFError e -> return "")