Я прочитал это:
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
?
EDIT :
Я попытался выяснить, так ли это, и написалследующее:
{-# 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