【モナドを見つけよう】Scalaにおける関数型プログラミング基礎解説 #ScalaMatsuri #sm_c

第四のビール @tan_go238

Listの意味論は ++ #sm_c #ScalaMatsuri #ThinkingInCats

phenan @phenan

foldLeft ? join (flatten) じゃなく？ #ScalaMatsuri #sm_c

第四のビール @tan_go238

Optionは (_,_)._2に関してモナドを形成できる #sm_c #ScalaMatsuri #ThinkingInCats

FUJII Yoshitaka @yoshiyoshifujii

フラットに潰せるならMonadなことが多い。 #ScalaMatsuri #sm_c

Satoshi Hirose / 廣瀬 智史 🐘 @satoshihirose

「箱の話」。モナドはフラクタル。Listもフラクタル。フラットに潰せるものがあったらモナドを疑って良い。#ScalaMatsuri #sm_c

病気の美少女 @lyrical_logical

（自然変換を考慮すると）モナドはフラクタル的 #ScalaMatsuri #sm_c

phenan @phenan

foldLeft があるのは Foldable であって Monad とは限らないんだが、誤解しそうな説明だな #ScalaMatsuri #sm_c

第四のビール @tan_go238

箱の話 #sm_c #ScalaMatsuri #ThinkingInCats

病気の美少女 @lyrical_logical

箱としてモナドを見ると継続モナドとかで殺される #ScalaMatsuri #sm_c

Satoshi Hirose / 廣瀬 智史 🐘 @satoshihirose

スライド中に猫が箱に頭突っ込んでいる画像が頻出するのウケる。#ScalaMatsuri #sm_c

Satoshi Hirose / 廣瀬 智史 🐘 @satoshihirose

めっちゃ唐突に終わった。#ScalaMatsuri #sm_c

病気の美少女 @lyrical_logical

モナドを使うことで、コードのセマンティクスを変える（non-determinism, parallelism）#ScalaMatsuri #sm_c

ごん @chaltos

とつぜんすごいH本が #sm_c #ScalaMatsuri

FUJII Yoshitaka @yoshiyoshifujii

Soundnessな考え方にもとづいてdef hoge[A](a: A): A を考える。 #ScalaMatsuri #sm_c