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

関数型プログラミング ..

46:デフォルトの名無しさん
07/11/06 20:22:54
ちょっとお前ら教えてくれよ
>>33の続きなんだけど
①
genNRandom :: Int -> IO ()
genNRandom n = do
　 g <- getStdGen
　 let ns = take n (randoms g)
　 putStr $ show (ns :: [Int])

②
genNRandom :: Int -> String
genNRandom n = do
　 g <- getStdGen
　 let ns = take n (randoms g)
　 show (ns :: [Int])

③
genNRandom :: Int -> [Int]
genNRandom n = do
　 g <- getStdGen
　 take n (randoms g)

①はコンパイル通るけど②と③がダメなのはなんでなんだぜ？

で、
URLﾘﾝｸ(www.sampou.org)
読んでたらなんとなく分かった気がしたんだけど要するにIOモナドは1方向モナドで、値が取り出せないし、
IOモナド使ってる関数は返り値の型が絶対IO()とかになるから参照透明じゃないのが他の関数まで波及しないよって意味なのか？
じゃMaybeとかStateとかは使っても参照透明なままなのか？

次ページ