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

病気の美少女 @lyrical_logical

急に圏がきた #ScalaMatsuri #sm_c

第四のビール @tan_go238

射の合成 #sm_c #ScalaMatsuri #ThinkingInCats

tomo🐧@learning @cocoatomo

なんか圏の話が流れてくるなぁ. #sm_c #ScalaMatsuri

phenan @phenan

圏: なんか集合とそれらの上の射(関数みたいなやつ)の集まり(雑 #ScalaMatsuri #sm_c

第四のビール @tan_go238

composition of arrows #sm_c #ScalaMatsuri #ThinkingInCats

第四のビール @tan_go238

AがAにいってBにいく #sm_c #ScalaMatsuri #ThinkingInCats

zerosum @zerosum_

射の内部図式が実装で、外部図式が抽象？ のような印象を受けたがどうなんだろう #ScalaMatsuri #sm_c

第四のビール @tan_go238

left identity law, right identity law, associative law を満たしているのが圏 #sm_c #ScalaMatsuri #ThinkingInCats

病気の美少女 @lyrical_logical

対象、射、恒等射、合成射といくつかの law を満たすものは大体圏 #ScalaMatsuri #sm_c

第四のビール @tan_go238

抽象という言葉を正確に定義できる #sm_c #ScalaMatsuri #ThinkingInCats

病気の美少女 @lyrical_logical

圏論は抽象をフォーマルに扱う上で便利 #ScalaMatsuri #sm_c

第四のビール @tan_go238

fpをやっている上では圏論を知っている必要はないが、知っておくと抽象で考えることができる？ #sm_c #ScalaMatsuri #ThinkingInCats

かず(原材料に小麦粉を含む) @kazzna

FPをやる上で圏論なんて学ぶ必要はない！完全に同意だ！！！ #ScalaMatsuri #sm_c

phenan @phenan

Isomorphism (全単射) #ScalaMatsuri #sm_c

かず(原材料に小麦粉を含む) @kazzna

一度正しく定義できると全ての圏に使えるのが圏論の良さ。 #ScalaMatsuri #sm_c

Satoshi Hirose / 廣瀬 智史 🐘 @satoshihirose

圏って何でおいしいの？圏論での抽象は抽象という言葉をかなり正確に定義出来る。genericity。圏論を知っていると自分で概念を作れる。今朝のIsoの話も圏論の概念を使って表現出来る。#ScalaMatsuri #sm_c

病気の美少女 @lyrical_logical

可換図により一意性を示す #ScalaMatsuri #sm_c

第四のビール @tan_go238

自由モノイドの例 #sm_c #ScalaMatsuri #ThinkingInCats

tomo🐧@learning @cocoatomo

#sm_c #ScalaMatsuri 資料はまだ公開されてないんかな? 参加者のつぶやきで気になるところがポチポチある.

rinfield @rinfield

#ScalaMatsuri #sm_c 圏論は実際のプログラミングでのうれしさを十分に伝えられてない気がするんだよなぁ。いつも挫折してしまう

phenan @phenan

まあ実はちょっと違うんだけど twitter.com/phenan/status/… #ScalaMatsuri #sm_c

第四のビール @tan_go238

モナドの見つけ方 #sm_c #ScalaMatsuri #ThinkingInCats

ごん @chaltos

monads are fractale #sm_c #ScalaMatsuri

FUJII Yoshitaka @yoshiyoshifujii

モナドの見つけかた。 #ScalaMatsuri #sm_c

病気の美少女 @lyrical_logical

モナドの話が始まってしまった #ScalaMatsuri #sm_c