Почему не случай с предикатными стражами в дополнение к охранникам?

Question

Почему не случай с предикатными стражами в дополнение к защитным узорам?

{-# LANGUAGE MultiWayIf, LambdaCase #-} 

module Main where 

import System.Info   (os) 
import Control.Applicative ((<$>)) 
import Data.Char   (toLower) 
import Data.List   (isPrefixOf) 

main :: IO() 
main = print . ($ toLower <$> os) $ \x -> if 
    | "mingw" `isPrefixOf` x -> "windows" 
    | "darwin" == x   -> "mac" 
    | otherwise    -> "linux" 

будет симпатичнее как:

main = print $ case toLower <$> os of 
    x | "mingw" `isPrefixOf` x -> "windows" 
    | "darwin" == x   -> "mac" 
    | otherwise    -> "linux" 

или даже:

main = print $ case toLower <$> os of 
    | ("mingw" `isPrefixOf`) -> "windows" 
    | ("darwin" ==)   -> "mac" 
    | otherwise    -> "linux" -- when pattern absent: otherwise = const True 

Answer 1

Edit: Я думал, что вы стремитесь к точечным бесплатно случае любой ценой. Ваше интересное предложение - действительно правильный синтаксис, как указывает Андраш Ковач.

Вот матч бессмысленно-стиль:

{-# LANGUAGE ViewPatterns #-} 
main = print $ case toLower <$> os of 
    (("mingw" `isPrefixOf`) -> True) -> "windows" 
    (("darwin" ==) -> True)   -> "mac" 
    _        -> "linux" 

или даже без шаблонов зрения:

match :: a -> [(a -> Bool, b)] -> b 
match x ((f,y):rest) | f x  = y 
        | otherwise = match x rest 
match _ [] = error "Non exhaustive predicates" 

main = print $ match (toLower <$> os) 
    [(("mingw" `isPrefixOf`) , "windows") 
    ,(("darwin"==)   , "mac") 
    ,((const True)   , "linux")] 

Answer 2

Ваше первое предложение действует синтаксис, так что просто использовать:

main = print $ case toLower <$> os of 
    x | "mingw" `isPrefixOf` x -> "windows" 
    | "darwin" == x   -> "mac" 
    | otherwise    -> "linux"