関数型プログラミング言語Haskell

関数型プログラミング言語Haskell at TECH

95:デフォルトの名無しさん
02/04/22 08:29
> IO Int …のつもり…です。
> それをreturnで返していますから、selの返値もIO Intで、

return の型は Monad m => a -> m a です。
>>91 のケースだと m は IO。

> とすれば、ただの Int を IO Int に揃える必要があるということですか？

うん。で、そういう場合に return を使う。

sel x = do
putStr "(y/n) ? "
c <- getChar
case c of
'y' -> sel (x + 1)
'n' -> return x
_ -> sel x

次ページ

続きを表示

1を表示