Feeding un'espressione monadica in meno o quando

Question

Spesso mi ritrovo a scrivere il codice che assomiglia a questo:

import System.Directory (doesFileExist) 
import Control.Monad (unless) 

example = do 
    fileExists <- doesFileExist "wombat.txt" 
    unless fileExists $ putStrLn "Guess I should create the file, huh?" 

Forse un modo migliore è:

example2 = 
    doesFileExist "wombat.txt" >>= 
    (\b -> unless b $ putStrLn "Guess I should create the file, huh?") 

Qual è l'approccio migliore qui?

Answer 1

potrei definire una funzione di supporto:

unlessM :: Monad m => m Bool -> m() -> m() 
unlessM b s = b >>= (\t -> unless t s) 

example3 = unlessM (doesFileExist "wombat.txt") $ 
    putStrLn "Guess I should create the file, huh?" 

Sembra che unlessM sarebbe molto utile. Ma il fatto che io non veda nulla come unlessM (o con quella firma di tipo) su Hackage mi fa pensare che ci sia un modo migliore per gestire questa situazione, che non ho ancora scoperto. Cosa fanno i bei ragazzi?

Answer 2

Ho utilizzato flip unless per questi casi, ma questi tipi di combinatori possono diventare un po 'rumorosi. Con l'estensione LambdaCase, potresti almeno evitare di usare un nome per il risultato di doesFileExist, anche se ciò comporterebbe la corrispondenza dello schema su True e False, che può sembrare un po 'strano (a seconda se ritieni che if non sia necessario o no).

{-# LANGUAGE LambdaCase #-} 
import System.Directory (doesFileExist) 
import Control.Monad (unless) 

example' = 
    doesFileExist "wombat.txt" >>= 
    flip unless (putStrLn "Guess I should create the file, huh?") 

example'' = 
    doesFileExist "wombat.txt" >>= \ case 
    True -> return() 
    False -> putStrLn "Guess I should create the file, huh?"