注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
LT駆動の発表内容の下書きです。 下書きといっても十分にかいているつもりである。(読みやすくとはいっ... LT駆動の発表内容の下書きです。 下書きといっても十分にかいているつもりである。(読みやすくとはいっていない) そのときのスライド IO (Maybe String)はモナドが入れ子になっている。IOなんかついてるととても扱いづらい。実際に体験してみたりしてみる。 IO Stringは 実行するたびに文字列が返ってくる。返ってくる文字列の内容は実行するたびに変わるかもしれない。 Maybe Stringは 評価すると文字列もしくは空っぽかもしれない値が返ってくる。評価するたびに結果は変わらない。 IO (Maybe String)は、実行するたびに文字列もしくは空っぽの値が返ってくる。値は実行するたびに変わるかもしれない。 IO Maybe Stringではない。 (IO Maybe) Stringと解釈されるため。これは型として不正。 IOは一つの型しか受け取らないが2つの型を受け取ろう
2019/06/18 リンク