模式匹配

Question

我想在斯卡拉它看起來像這樣

validate(number) match { 
case true => "true" 
case false => "false" 
} 

我試圖做在Haskell

main = do  
    number <- getLine 
    res <- case (validate (read number::Int)) of 
     (True) -> "True" 
     (False) -> "False" 
    putStrLn res 

而且類似的東西做函數結果 比賽我明白我可以用do表示法做到，但不知道從哪裏開始。

Answer 1

如果存在解析錯誤，則在Haskell read中引發異常。

但是有readMaybe這將返回一個Maybe值。

import Text.Read 

main = do 
    number <- getLine 
    let res = case (readMaybe number :: Maybe Int) of 
       Just x -> "True" 
       Nothing -> "False" 
    putStrLn res 

注意因爲readMaybe使用let代替一元bind操作符<-是純函數。

你甚至可能能夠避免類型提示，如果你的方式，讓編譯器推斷出它的類型使用解析 值，例如：

fibs = 0 : 1 : zipWith (+) fibs (tail fibs) 
    -- any list will do 

main = do 
    number <- getLine 
    case readMaybe number of 
    Nothing -> putStrLn "bad number" 
    Just n -> print (fibs !! n) 

這裏不再類型的註釋，因爲!!採取Int論點， 等等n必須有類型Int 這意味着readMaybe number必須有類型Maybe Int。

更新

風格上我會建議你使用let這裏 - 使用 綁定是完全不必要的，因爲你是計算一個純粹的價值。

但是，您可以通過使用return與綁定運營商這樣寫：

main = do 
    number <- getLine 
    res <- return $ case (readMaybe number :: Maybe Int) of 
        Just _ -> "True" 
        Nothing -> "False" 
    putStrLn res