Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
ソフトウェアエンジニアとしてモナドを完全に理解する / make-perfect-sense-...
Search
Jun Tomioka
December 13, 2019
Technology
14
7.6k
ソフトウェアエンジニアとしてモナドを完全に理解する / make-perfect-sense-of-monad
モナドを完全に理解する
Jun Tomioka
December 13, 2019
Tweet
Share
More Decks by Jun Tomioka
See All by Jun Tomioka
Dotty で軽量な DI ライブラリをかいてみた
jooohn
1
300
ScalaのコンパイラにFizzBuzzを解いてもらう(Dottyもあるよ)
jooohn
1
970
Write stack safe non-tailrec recursive functions
jooohn
4
900
Introduction to Clean Architecture
jooohn
1
540
人類には早すぎる、謎の計算ロジックに立ち向かう / Strugle with the most complicated logic ever
jooohn
1
1.6k
Work at M3 USA
jooohn
0
1.2k
クラウド電子カルテを支えるテクノロジーの光と闇
jooohn
0
1.2k
怖くないCats
jooohn
0
760
Scalaの型クラスを完全に理解する
jooohn
5
1.8k
Other Decks in Technology
See All in Technology
PHPで印刷所に入稿できる名札データを作る / Generating Print-Ready Name Tag Data with PHP
tomzoh
0
120
滅・サービスクラス🔥 / Destruction Service Class
sinsoku
6
1.6k
管理者しか知らないOutlookの裏側のAIを覗く#AzureTravelers
hirotomotaguchi
2
470
プロダクトエンジニア 360°フィードバックを実施した話
hacomono
PRO
0
100
RECRUIT TECH CONFERENCE 2025 プレイベント【高橋】
recruitengineers
PRO
0
160
2.5Dモデルのすべて
yu4u
2
900
目の前の仕事と向き合うことで成長できる - 仕事とスキルを広げる / Every little bit counts
soudai
26
7.4k
利用終了したドメイン名の最強終活〜観測環境を育てて、分析・供養している件〜 / The Ultimate End-of-Life Preparation for Discontinued Domain Names
nttcom
2
240
急成長する企業で作った、エンジニアが輝ける制度/ 20250214 Rinto Ikenoue
shift_evolve
3
1.3k
ビジネスモデリング道場 目的と背景
masuda220
PRO
9
620
現場の種を事業の芽にする - エンジニア主導のイノベーションを事業戦略に装着する方法 -
kzkmaeda
2
2.1k
OpenID BizDay#17 KYC WG活動報告(法人) / 20250219-BizDay17-KYC-legalidentity
oidfj
0
260
Featured
See All Featured
A Tale of Four Properties
chriscoyier
158
23k
VelocityConf: Rendering Performance Case Studies
addyosmani
328
24k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
133
33k
Six Lessons from altMBA
skipperchong
27
3.6k
How STYLIGHT went responsive
nonsquared
98
5.4k
Building a Modern Day E-commerce SEO Strategy
aleyda
38
7.1k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
33
2.8k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
226
22k
GitHub's CSS Performance
jonrohan
1030
460k
Embracing the Ebb and Flow
colly
84
4.6k
The Cost Of JavaScript in 2023
addyosmani
47
7.3k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
251
21k
Transcript
ソフトウェアエンジニアとして モナドを完全に理解する @jooohn1234
Jun Tomioka @jooohn1234 Software Engineer at M3, Inc. 2歳になったつむぎ
子育て世代の エンジニア あるある
パパ
モナド って なに?
パパ モナドって なに?
ソフトウェアエンジニアとして モナドを完全に理解する • モナドはおおざっぱにいうと何者なのか • モナドは本当は何者なのか • モナドはなぜ愛されるのか
ソフトウェアエンジニアとして モナドを完全に理解する • モナドはおおざっぱにいうと何者なのか • モナドは本当は何者なのか • モナドはなぜ愛されるのか
モナドの初見のイメージ やせいの モナド が あらわれた!▼
モナドをちょっとググったとき モナドを理解する - 迷える者への手引き モナドはポケモン。 モナドのすべて モナドはメタファーではない モナドは、計算を表現する構造である。 絶対に理解出来ないモナドチュートリアル 「モナドは単なる自己関手の圏におけるモノ
イド対象だよ。何か問題でも?」 圏論 アプリカティブファンクタ
モナドをちょっとググった感想 なんかわかんな いけどすごい
おおざっぱに いうと
ソフトウェア エンジニア にとって
モナドとは
いい感じに flatMap できるやつ
モナドは いい感じに flatMap できるやつ
いい感じにflatMapできるやつの例
例の flatMap に共通したシグネチャ F[A] => (A => F[B]) => F[B]
ここでいうFは何者なのか • 型パラメータを1つとる任意の高カインド型 ◦ いわゆる「ジェネリックな型」 • ここでいうFの例 ◦ List, Option
◦ Either[Error, ?] ▪ LeftがErrorに固定されており、Right1つだけの型パラメータを取る • ここでいうFではない例 ◦ 型パラメータを取らない ▪ Int, String, List[Int] ◦ 型パラメータを取りすぎ ▪ Either[?, ?]
あらためて flatMap のシグネチャを確認 Option[String] => (String => Option[Int]) => Option[Int]
Array[number] => (number => Array[string]) => Array[string]
おおざっぱにいうとモナドは いい感じにflatMapできるやつ おおざっぱに 理解した
ソフトウェアエンジニアとして モナドを完全に理解する • モナドはおおざっぱにいうと何者なのか • モナドは本当は何者なのか • モナドはなぜ愛されるのか
flatMapできるといっても、 F[A] => (A => F[B]) => F[B] の シグネチャであれば
なんでもいいの?
ちゃんというと、モナドは3点セット • モナド3点セット (関数名はなんでもよい) ◦ 高カインド型F ◦ 関数その1 (flatMap): F[A]
=> (A => F[B]) => F[B] ◦ 関数その2 (pure): A => F[A] • さらにこの3点セットが、ある法則を満たすとき、こ れらはモナドである! ◦ この法則をモナド則という
モナド則 (Monad Laws) • 以下を満たす (ただし、a: A, f: A =>
F[B], fa: F[A], g: B => F[C]) ◦ Left Identity ▪ pure(a).flatMap(f) == f(a) ◦ Righty Identity ▪ fa.flatMap(pure) == fa ◦ Associativity ▪ fa.flatMap(f).flatMap(g) == f.flatMap(x => f(x).flatMap(g)) • このへんがいい感じの部分 (ここではflatMapはメソッドの形で用いている。 )
Optionモナドの例 • Optionモナドの3点セット ◦ 高カインド型F ▪ Option ◦ flatMap: (fa:
F[A]) => (f: (A => F[B])) => F[B] ▪ fa match { Some(a) => f(a) None => None } ◦ pure: (a: A) => F[A] ▪ a => Some(a) • モナド則を満たすか確かめてみよう! きがむいたらやろう
ちゃんというと、モナドは モナド則を 満たす 3点セット
モナド 完全に理解した
ソフトウェアエンジニアとして モナドを完全に理解する • モナドはおおざっぱにいうと何者なのか • モナドは本当は何者なのか • モナドはなぜ愛されるのか
モナドがなんなのかは わかったけど、 それで何が嬉しいの?
モナドは
便利
モナドは 便利
モナドはネストをフラットにできる • ネストしたnullable ◦ 見るに堪えない
モナドはネストをフラットにできる • flatMapを用いてフラットにしたもの ◦ F[A]の Aに対してネストした操作が綺麗にできる
モナドは合成できる • 別々のF[A], F[B]を合成して F[(A, B)]を作ることが できる ◦ map は
flatMap + pure で定義できる
モナドは合成できる • モナドの合成を意識したsyntax sugar ◦ for (Scala), do (Haskell) ◦
チェインのような形ではなく、合成する際は特にこのsyntax sugarが便利
JSの非同期処理の進化との比較 JS非同期処理 Scalaの例 コールバック地獄 Promise.thenによる flatなチェイン async / await
モナド(っぽいなにか) を扱う syntax sugar JS Scala 非同期処理のネスト async / await
for 式 Optionalな値のネスト Optional chaining (合成、中身を別の関数の引数として渡す といった用途では使えない) for 式 • モナドを意識したsyntax sugarを用意している言語では、各モ ナド (っぽいなにか) に対して一貫した記述ができる。 • このシンプルさもモナドを愛される理由の1つ シンプルではある
実用上は Optional chaining や async / awaitがあればそれ で十分なような気がするけど
便利なモナドって 他にたくさんあるの?
便利なモナドを一部紹介 • Either[A, B] ◦ 慣習的にRightにハッピーなケースを入れることが多く、 Either[Error, ?]の形でLeftを固定して使うことが多い。 ◦ エラーハンドリングに便利。
これは 使いそう
• State[S, A] ◦ S => (S, A) のラッパー ▪
Sを置き換えながらAを返す。 ◦ パーサを書いたりするときに便利 ▪ List[Token]を受け取り、処理後のList[Token]とparse結果Aを返す 便利なモナドを一部紹介 ふーん
便利なモナドを一部紹介 • モナドトランスフォーマー ◦ 一部のモナドは別のモナドと組み合わせて別のモナドを構 成することができる。 ▪ Transformer から、Tをsuffixとして、EitherT などとよぶことが多い
▪ EitherT + State で 読み取り失敗する可能性のあるParser など ◦ 名前にロマンがある
使うかしらんけど 便利っぽい
その他モナドが愛される理由(個人の感想) • 数学・圏論由来の抽象化である安心感 ◦ 正しい抽象化は思いの外むずかしい ◦ “prefer duplication over the
wrong abstraction” ▪ https://www.sandimetz.com/blog/2016/1/20/the-wrong-abstraction ?duplication • 困ったときに会話を煙にまくことができる ◦ 「あっごめん、モナドのこと考えてた」 ▪ 話を聞いてなかったときに ◦ 「でもそれってモナド則満たしてるの?」 ▪ 相手の主張がモナド則満たしてないなと思ったときに
まとめ • モナドを完全に理解した ◦ モナドはモナド則を満たす3点セット • モナドはモナドを愛する人に愛されている ◦ モナドを意識した言語は美しいし便利だと思う人もいるし、 そんなの別にいらんという人もいる。
モナド完全に理解した