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

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

やばい全然わからん

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame mapM は f::a -> IO b を引数にとって、IO [b]を返します。このとき f x は〈w_n,y〉(yは無視される)にbindされて〈w_n+1,z::b〉を返すので、要素それぞれに適用したときのz::bを集めたリストが返ります

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

@NaOHaq 途中よくわかりませんでしたがMaybeモナドとかにmapする時はアンスコ無しのmapM使うとMaybe [a] とかが得られるからそっち使うわー。ってことですね！

NaOHaq(苛性ソーダ) @NaOHaq

@NaOHaq @vvakame 対して、mapM_ はリストの要素それぞれにa->IO bを適用したときの返り値bの値を全部捨てて、() を返します

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame すみません、モナド一般の話にするとややこしくなるのでIOに特殊化して話してます。

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame IOじゃない場所でも使える trace という反則的な関数があります。

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

@NaOHaq なるほど。

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

@NaOHaq ！？( ﾟдﾟ)！？

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

trace :: String -> a -> a なんでこの子は IOモナドが出てこないの…

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

特別自然保護区なの？

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

https://t.co/7e8NRE9v 今コレだけど、 dumpUnknown の層がなんであるのかわからない。なんなのこれ…。SQLのリザルトは行と列の2層あれば十分じゃないの…。

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame こやつはむっちゃ特殊な関数で、 f x に対して f $ trace ("hoge:"++show x) $ x という風に挟み込んでやると、 f x が評価されるときに "hoge: (xの値)" を端末に出力します

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

@NaOHaq すごい！！！ 特殊って、僕らが実装できないくらい特殊ですか？

NaOHaq(苛性ソーダ) @NaOHaq

@NaOHaq @vvakame ……ということができるんですが、xの値を出力するためには当然そのときxの値が決まっていないといけないので、traceの第一引数は正格評価されます。そのため評価順序が変わることがあるのでややこしいです。

NaOHaq(苛性ソーダ) @NaOHaq

@vvakame Haskell処理系の中で特別扱いされてます。

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

@NaOHaq なるほど。使う場所をちょっとは選ぶわけですね。

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

@NaOHaq それはspecialですね。

NaOHaq(苛性ソーダ) @NaOHaq

同じ悩みを発見しました / Unnecessarily deep list in execStatement return type https://t.co/l5RqEBTV / https://t.co/zF2LyJeI

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

あかん。とりあえず型合わせないとコンパイルすら通らないからヤバい。

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

Justな値だけfilterしたい時にどう書けばいいかわからん。(\m -> if Just _ then true else false) みたいに書きたいんだけど。

o̞͑kä̝mo̞͑to̞͑ kä̝zʊ̠kɪ̟ @kakkun61

@vvakame case 使うとよいかと。

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

@kakkun61 そのへんの構文を全然オボエテナイという…！なんか1行で書かないといけなかったような気がするんですがそんなことないんでしたっけ。とりあえずぐぐってきます。

o̞͑kä̝mo̞͑to̞͑ kä̝zʊ̠kɪ̟ @kakkun61

@vvakame それかパターンマッチ使った関数別個に作るか、かなー。

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

@kakkun61 あ、なるほど。

o̞͑kä̝mo̞͑to̞͑ kä̝zʊ̠kɪ̟ @kakkun61

@vvakame 僕も、基本的にパターンマッチの方使うので case は構文覚えてないです :p