Haskell'de IO koşullu olarak işlenmenin deyimsel yolu

Question

Haskell'de isteğe bağlı bir argüman alabilen küçük bir kabuk betiği yazıyorum. Ancak, argüman mevcut değilse, bir değer istemek için stdin'den bir hat almak istiyorum.

Haskell'de bunu yapmanın deyimsel yolu ne olurdu?

#!/usr/bin/env runhaskell 

import Control.Applicative ((<$>)) 
import Data.Char (toLower) 
import IO (hFlush, stdout) 
import System.Environment (getArgs) 

main :: IO() 
main = do args <- getArgs 
      -- here should be some sort of branching logic that reads 
      -- the prompt unless `length args == 1` 
      name <- lowerCase <$> readPrompt "Gimme arg: " 
      putStrLn name 

lowerCase = map toLower 

flushString :: String -> IO() 
flushString s = putStr s >> hFlush stdout 

readPrompt :: String -> IO String 
readPrompt prompt = flushString prompt >> getLine 

Oh, ve bilmek istiyorum Control.Applicative veya Control.Arrow bir şey ile bunu yapmanın bir yolu olup olmadığını. Bu iki modüle oldukça meraklıyım.

Teşekkürler!

Answer 1

main :: IO() 
main = do args <- getArgs 
      name <- lowerCase <$> case args of 
      [arg] -> return arg 
      _  -> readPrompt "Gimme arg: " 
      putStrLn name 

Answer 2

Bu özel kullanım uygun düşmez, ama soru başlık bana Control.Monad hemen when düşündürdü. Düz the docs den: monadik ifadelerin

when :: Monad m => Bool -> m() -> m()

Koşullu yürütme.

Örnek:

main = do args <- getArgs 
      -- arg <- something like what FUZxxl did.. 
      when (length args == 1) (putStrLn $ "Using command line arg: " ++ arg) 
      -- continue using arg... 

Ayrıca benzer şekilde when 'ın kuzeni unless kullanabilirsiniz.