Haskell中如何输出非String类型的Maybe Int值？

嘿，我来帮你搞定这个输出的小问题！你遇到的核心点是premio ap x返回的是Maybe Int类型，而putStr/putStrLn只接受String类型的参数，所以我们需要把Maybe Int转换成友好的字符串，或者直接对它进行模式匹配来输出不同的内容。下面给你几种实用的方案：

方案1：直接用show转换（快速简单） #

Haskell的show函数可以把任何实现了Show类型类的值转换成字符串，Maybe和Int都满足这个条件。你可以直接把Maybe Int传给show，然后用putStrLn输出：

joga :: Aposta -> IO ()
joga x = do 
    ap <- leAposta
    let arroz = premio ap x
    putStrLn (show arroz)  -- 会输出类似"Just 5"或"Nothing"
    return ()

这个方案最快捷，但输出的内容是Maybe类型的原始字符串表示，比如中奖时显示Just 1，没中奖显示Nothing，如果想要更人性化的提示，看下面的方案。

方案2：模式匹配自定义输出（更友好） #

我们可以对Maybe Int进行模式匹配，分别处理中奖（Just prize）和未中奖（Nothing）的情况，输出更自然的文本：

joga :: Aposta -> IO ()
joga x = do 
    ap <- leAposta
    let arroz = premio ap x
    case arroz of
        Just prize -> putStrLn $ "恭喜你！获得的奖金编号是：" ++ show prize
        Nothing -> putStrLn "很遗憾，这次没有中奖哦"
    return ()

这样用户看到的就是友好的提示语，而不是生硬的Maybe语法表示，体验更好。

方案3：用Data.Maybe工具函数简化处理 #

如果你不想写模式匹配，也可以用Data.Maybe模块里的fromMaybe函数，给Nothing设置一个默认字符串，同时把Just里的Int转换成字符串：

首先需要导入Data.Maybe模块：

import Data.Maybe (fromMaybe)

然后修改joga函数：

joga :: Aposta -> IO ()
joga x = do 
    ap <- leAposta
    let arroz = premio ap x
        resultText = fromMaybe "未中奖" (fmap show arroz)
    putStrLn $ "你的中奖结果：" ++ resultText
    return ()

这里fmap show arroz会把Just 3转换成Just "3"，Nothing还是Nothing；fromMaybe则会把Nothing替换成我们设置的默认字符串"未中奖"。

小提醒：putStr vs putStrLn #

你原来的代码里用了putStr，它输出字符串后不会自动换行，通常推荐用putStrLn，它会在输出末尾添加换行符，让界面更整洁。

内容的提问来源于stack exchange，提问作者Joao Parente