içine Birli ifadesini Feeding sürece veya

Question

sık sık kendimi şöyle kod yazarken bulduğunda: Belki daha iyi bir yoldur

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

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

:

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

iyi yaklaşım Burada ne var?

Answer 1

Ben bir yardımcı işlevi tanımlayabiliriz:

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?" 

Çok yararlı olacağını unlessM gibi görünüyor. Ancak Hackage'da unlessM (ya da bu tip imzayla) gibi bir şey görmüyorum, bu durumu halletmem için daha iyi bir yol olduğunu düşünmüyorum; Havalı çocuklar ne yapar?

Answer 2

Bu gibi durumlarda flip unless'u kullandım, ancak bu tür taraklayıcılar biraz gürültülü olabilir. LambdaCase uzantısıyla, en azından doesFileExist sonucu için bir isim kullanmaktan kaçınabilirsiniz, ancak True ve False modellerinde kalıp eşleşmesine neden olabilirsiniz, bu da biraz garip görünebilir (if'un gereksiz olduğunu veya olmasın). ile unless` `bağlanma

{-# 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?"