我看了这个：
http://hackage.haskell.org/trac/ghc/wiki/ViewPatterns
我喜欢这个想法，想要使用扩展名。然而，我想确定一件事：是否对单个匹配评估了一次视图函数。
所以我们说：
{-# LANGUAGE ViewPatterns #-}
...
f (view -> Nothing) = ...
f (view -> Just x) = ...
view :: a -> Maybe b
现在让我说我调用 f a。是 view 为给定的参数调用两次或只调用一次 a？
编辑：
我试图找出是否是这种情况并写下以下内容：
{-# LANGUAGE ViewPatterns #-}
import System.IO.Unsafe
blah (ble -> Nothing) = 123
blah (ble -> Just x) = x
ble x = unsafePerformIO $ do
putStrLn $ "Inside ble: " ++ show x
return x
main :: IO ()
main = do
putStrLn $ "Main: " ++ show (blah $ Just 234)
使用GHC输出：
Inside ble: Just 234
Inside ble: Just 234
Main: 234
使用GHC输出（带优化）
Inside ble: Just 234
Main: 234
使用GHCi输出：
Main: Inside ble: Just 234
Inside ble: Just 234
234