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
Introduction to functional programming
Search
Shigeki Shoji
September 14, 2022
Technology
0
230
Introduction to functional programming
Shigeki Shoji
September 14, 2022
Tweet
Share
More Decks by Shigeki Shoji
See All by Shigeki Shoji
アジャイルテストで高品質のスプリントレビューを
takesection
0
160
Introduction to kanjava
takesection
0
94
LT Slide 2025-04-22
takesection
0
150
Instructional Designer
takesection
0
140
Zero to Hero
takesection
0
220
Fargateを使った研修の話
takesection
0
310
20240730_kanjava.pdf
takesection
0
150
JavaのJCP会員になろう
takesection
0
110
JAWS-UG Okayama 2024 LT
takesection
0
110
Other Decks in Technology
See All in Technology
Pythonによる契約プログラミング入門 / PyCon JP 2025
7pairs
4
1.2k
Where does my memory come from?
ennael
PRO
0
120
5年間のFintech × Rails実践に学ぶ - 基本に忠実な運用で築く高信頼性システム / 5 Years Fintech Rails Retrospective
ohbarye
8
2.8k
C# 14 / .NET 10 の新機能 (RC 1 時点)
nenonaninu
1
900
KAGのLT会 #8 - 東京リージョンでGAしたAmazon Q in QuickSightを使って、報告用の資料を作ってみた
0air
0
160
コンテキストエンジニアリングとは? 考え方と応用方法
findy_eventslides
4
720
Go Conference 2025: GoのinterfaceとGenericsの内部構造と進化 / Go type system internals
ryokotmng
3
460
Why React!?? Next.jsそしてReactを改めてイチから選ぶ
ypresto
5
1.7k
マルチデータプロダクトの開発を支えるデータの民主化の仕組み
kevinrobot34
1
110
Pure Goで体験するWasmの未来
askua
1
140
バイブコーディングと継続的デプロイメント
nwiizo
1
230
20250924_LT2本やる.pdf
foursue
0
830
Featured
See All Featured
Making the Leap to Tech Lead
cromwellryan
135
9.5k
How To Stay Up To Date on Web Technology
chriscoyier
791
250k
Practical Orchestrator
shlominoach
190
11k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
35
3.2k
Visualization
eitanlees
148
16k
Speed Design
sergeychernyshev
32
1.1k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
667
120k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
52
5.6k
Statistics for Hackers
jakevdp
799
220k
jQuery: Nuts, Bolts and Bling
dougneiner
64
7.9k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
jcasabona
33
2.4k
We Have a Design System, Now What?
morganepeng
53
7.8k
Transcript
関数型プログラミング超入門 Shigeki Shoji @takesection 2022-09-14
ゴール Functional Programming (関数型プログラミング) の土台となるコンセプトを理解する 2
目次 Referential Transparency (参照透過性) Immutable (不変性) Side Effect (副作用) Higher-order
Function (高階関数) Map、Filter、Reduce 3
Referential Transparency (参照透過性) 参照透過性とは、「プログラムの構成要素が同じもの同士は等しい」ということです。 例えば: 1 と 1 は等しい 文字列
abc と文字列 abc は等しい 関数 f(1) と 関数 f(1) は等しい つまり、変数 a と b に同じ値 (1 や abc や f(1)) を代入しているなら、a と b は等しいという ことになります。 4
参照透過性の利点 (An advantage of referential transparency) 参照透過性の利点は、数学的推論が利用できることです。f(1) の計算結果は常に f(1) の計算結
果と等しいため、その時の状況によって結果が変わらないため、テストが容易になります。 5
Immutable (不変性) 構造化/手続き型/ 命令型プログラミングでは、次の例のように、変数をミュータブルに使用す るのが一般的です。 int sum = 0; for
(int x: list) sum = sum + x; 変数 sum、x の値はプログラムの実行中に値を変化させます。これは、参照透過性の破壊を 意味します。 関数型プログラミングでは、イミュータブルな変数を利用することが一般的です。 6
Side Effect (副作用) 関数がファイルやデータベース、ネットワーク等外部との入出力に依存している場合、外部 環境の変化により関数の結果が変化することがあります。このような作用を「副作用」と呼 びます。副作用もまた参照透過性の破壊に繋がります。 この副作用を伴わずに参照透過性を持つ関数を「純粋な関数」と呼びます。 関数型プログラミングで、副作用を伴う関数を定義する場合、副作用を特定の関数内に隔離 することがベストプラクティスになります。 7
Higher-order Function (高階関数) 高階関数とは、簡単にいうと引数に関数を、あるいは関数を返す関数です。 次の例は、Javaによる高階関数を定義する例です。Optional.map() は引数が関数 (Function) です。関数には、次のようにラムダ関数も使用できます: Optional<Integer> maybeId
= Optional.ofNullable(1); maybeId.map(id -> { System.out.println(id); return id; }); 8
Map、Filter、Reduce ここで説明する Map、Filter、Reduce はコレクションやストリームを扱う高階関数を使うパ ターンです。 map(f) は、要素の型を変換する関数が引数になります。元の型 E を変換後の型 F
にしま す。 filter(f) は、要素の値を評価して通過させる場合は true、破棄する場合は false を返す関 数が引数になります。 reduce(f) は、コレクションやストリームの要素の合計値を求めるというような計算に使 用します。引数は要素の値を使って集計する関数になります。 val seq = Seq("1", "2", "3", "2", "2", "4") seq.map(_.toInt).filter(_ == 2).reduce((x, y) => x + y) 9
method と function の違い C++ や Java ではオブジェクトにフィールド (field) やメソッド
(method) を定義します。 method はオブジェクトの field を使用するロジックを記述します。 ロジックは、基本的には上のステートメントから下のステートメントに順番に実行され、ル ープによって上のステートメントに戻ったり、条件文によって、特定のコードブロックが実 行される、手法 (method) を記述します。 対して、関数 (function) は式 (formula) を定義します。 10
Scala の Option の使い方 Option[T] は None か Some(T) のいずれかになります。
val maybeId: Option[Integer] = Option(1) // or Some(1) maybeId.map { id => System.out.println(id); id; } 11
Scala の Either の使い方 Either[L, R] は Left(L) か Right(R)
のいずれかになります。 import java.io._ val line: Either[IOException, String] = Right("abc") line.map { l => System.out.println(l); l; } 12
Scala の Try の使い方 Try[+T] は Success(T) か Failure(E) のいずれかになります。
import scala.util.Try Try("123").map(_.toInt) 13