में एक monadic अभिव्यक्ति दूध पिलाने की जब तक या जब

Question

मैं अक्सर अपने आप को कोड है कि इस तरह दिखता है लिख पाते हैं:

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

क्या सबसे अच्छा तरीका यहाँ है?

Answer 1

मैं एक सहायक समारोह निर्धारित कर सकते हैं:

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

यह unlessM की तरह लगता है बहुत उपयोगी होगा। लेकिन तथ्य यह है कि मुझे हैकेज पर unlessM (या उस प्रकार के हस्ताक्षर के साथ) कुछ भी नहीं दिखता है, मुझे लगता है कि इस स्थिति को संभालने का कुछ बेहतर तरीका है, जिसे मैंने अभी तक नहीं खोजा है। शांत बच्चे क्या करते हैं?

Answer 2

मैंने ऐसे मामलों के लिए flip unless का उपयोग किया है, लेकिन इन प्रकार के संयोजकों को थोड़ा शोर मिल सकता है। LambdaCase एक्सटेंशन के साथ, आप कम से कम doesFileExist के परिणाम के लिए नाम का उपयोग करने से बच सकते हैं, हालांकि इसके परिणामस्वरूप True और False पर पैटर्न मिलान हो सकता है, जो थोड़ा अजीब लग सकता है (यदि आप मानते हैं कि if अनावश्यक है या नहीं)।

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