わかめモナ化のLTのネタ作り

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame ありがちな罠に……。f xs = map (print) xs みたいなことをすると、fの型が [a] -> [IO ()] という感じになってしまうので注意が必要です。

わかめ@毎日猫がいる @vvakame

@NaOHaq メッチャ困ってます！うひょー

よんた @keita44_f4

@vvakame mapじゃなくてapp的なのないん？

わかめ@毎日猫がいる @vvakame

@keita44_f4 Haskell全然わからんけどfoldMとかそういうやつ？調べてみよう…。

mzp @mzp

@vvakame sequence_ :: Monad m => [m a] -> m () じゃないかな?

わかめ@毎日猫がいる @vvakame

みずぴーさんが有益そうなこといってるけど理解に10分くらいかかりそう

mzp @mzp

@vvakame わかめさんのほしい関数はsequence_ という関数だと思った次第であります!!

よんた @keita44_f4

@vvakame foldあればなんでもできるね！

わかめ@毎日猫がいる @vvakame

@mzp [m a] と僕が持っているものの乖離について思いを馳せている次第であります！ありがとうねしばらくかかるよ。ぽくぽくちーん。

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame 例えば、グローバル変数v::aを含む世界を考えると、〈(…v…), x〉 みたいなコンテナになります。vにアクセスするにはsetV::a->IO (), getV::IO aという関数を用意してやります。setVとgetVの実装はプログラムからは見えません

mzp @mzp

@vvakame mとaは型変数なので、それぞれIOと()に置き換えればいいと思いました

わかめ@毎日猫がいる @vvakame

@NaOHaq あ、なんか分かりやすいです！！

わかめ@毎日猫がいる @vvakame

@mzp すごい！！コンパイル通った！！！

わかめ@毎日猫がいる @vvakame

みずぴーさんすごい賢い感感じる。わかめの75倍くらい。

わかめ@毎日猫がいる @vvakame

関数適用して IO () にする前にsequence_噛ませろって話しかと思ったら IO () にして[IO ()]になった後にsequence_適用しろという話しだったでござる。なるほど。

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame [String]の中身を1行に一つずつ出力するような処理を書きたい場合は、 f::[String]->IO () f xs = mapM_ putStrLn xs という感じになります。

わかめ@毎日猫がいる @vvakame

https://t.co/LYSmvx3e 今現在ここまでできた。

わかめ@毎日猫がいる @vvakame

@NaOHaq これは putStrLn がモナディックな関数？なので？mapM_ 使いましたということですよね。

わかめ@毎日猫がいる @vvakame

やっとRow String が扱えるようになったぽよー…。と思ったらなんか理解がズレている。何故だ。これ1行の1列かと思ったら1行だし。

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame putStrLn::String->IO () なので、map putStrLn xs とすると[IO ()] が返ってきてしまいます。mapM_ f xsはf::a->IO ()をxsのそれぞれの要素に順に適用して、最後にIO ()を返します

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame "sequence_ $ map dumpRow" のところは "mapM_ dumpRow" で置き換えられますね

わかめ@毎日猫がいる @vvakame

@NaOHaq mapM_ :: Monad m => (a -> m b) -> [a] -> m () なので、IO () が返るわけですね。mapM_ ってIOモナド以外では使わないですか？

わかめ@毎日猫がいる @vvakame

@NaOHaq なるほど。

わかめ@毎日猫がいる @vvakame

[Row String] は理解できるけど、 [[Row String]] は理解できん…。1枚多くないかね？

わかめ@毎日猫がいる @vvakame

IO がなるべく登場しないように頑張ってHaskellのプログラム書くと、printfデバッグできないのでは？？