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
一度 Expo の採用を断念したけど、 再度 Expo の導入を検討している話
ichiki1023
1
160
Building Products in the LLM Era
ymatsuwitter
10
5.4k
プロセス改善による品質向上事例
tomasagi
2
2.5k
Cloud Spanner 導入で実現した快適な開発と運用について
colopl
1
560
Oracle Cloud Infrastructure:2025年2月度サービス・アップデート
oracle4engineer
PRO
1
200
Datadog APM におけるトレース収集の流れ及び Retention Filters のはなし / datadog-apm-trace-retention-filters
k6s4i53rx
0
330
OpenID Connect for Identity Assurance の概要と翻訳版のご紹介 / 20250219-BizDay17-OIDC4IDA-Intro
oidfj
0
270
2/18/25: Java meets AI: Build LLM-Powered Apps with LangChain4j
edeandrea
PRO
0
110
エンジニアのためのドキュメント力基礎講座〜構造化思考から始めよう〜(2025/02/15jbug広島#15発表資料)
yasuoyasuo
16
6.6k
データの品質が低いと何が困るのか
kzykmyzw
6
1.1k
急成長する企業で作った、エンジニアが輝ける制度/ 20250214 Rinto Ikenoue
shift_evolve
3
1.3k
クラウドサービス事業者におけるOSS
tagomoris
1
560
Featured
See All Featured
The Art of Programming - Codeland 2020
erikaheidi
53
13k
BBQ
matthewcrist
87
9.5k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
9
440
For a Future-Friendly Web
brad_frost
176
9.5k
How STYLIGHT went responsive
nonsquared
98
5.4k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
21
2.5k
Imperfection Machines: The Place of Print at Facebook
scottboms
267
13k
YesSQL, Process and Tooling at Scale
rocio
172
14k
A better future with KSS
kneath
238
17k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
100
18k
Build your cross-platform service in a week with App Engine
jlugia
229
18k
Docker and Python
trallard
44
3.3k
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点セット • モナドはモナドを愛する人に愛されている ◦ モナドを意識した言語は美しいし便利だと思う人もいるし、 そんなの別にいらんという人もいる。
モナド完全に理解した