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
Introduction to kanjava
takesection
0
89
LT Slide 2025-04-22
takesection
0
130
Instructional Designer
takesection
0
130
Zero to Hero
takesection
0
200
Fargateを使った研修の話
takesection
0
260
20240730_kanjava.pdf
takesection
0
150
JavaのJCP会員になろう
takesection
0
100
JAWS-UG Okayama 2024 LT
takesection
0
110
IaCツールのいろいろ
takesection
0
420
Other Decks in Technology
See All in Technology
公開初日に個人環境で試した Gemini CLI 体験記など / Gemini CLI実験レポート
you
PRO
3
320
手動からの解放!!Strands Agents で実現する総合テスト自動化
ideaws
2
290
An introduction to Claude Code SDK
choplin
3
3.3k
P2P通信の標準化 WebRTCを知ろう
faithandbrave
6
2.3k
「AI駆動開発」のボトルネック『言語化』を効率化するには
taniiicom
1
110
MCPに潜むセキュリティリスクを考えてみる
milix_m
1
720
Jitera Company Deck / JP
jitera
0
140
室長の逆襲 :データ活用の陣地を増やすためのヒント
masatoshi0205
0
180
AI Ready API ─ AI時代に求められるAPI設計とは?/ AI-Ready API - Designing MCP and APIs in the AI Era
yokawasa
21
5.8k
Recoil脱却の現状と挑戦
kirik
2
340
Wasmで社内ツールを作って配布しよう
askua
0
120
新規事業におけるAIリサーチの活用例
ranxxx
0
140
Featured
See All Featured
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.8k
Scaling GitHub
holman
461
140k
Statistics for Hackers
jakevdp
799
220k
How GitHub (no longer) Works
holman
314
140k
Building an army of robots
kneath
306
45k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.8k
GitHub's CSS Performance
jonrohan
1031
460k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
47
9.6k
Site-Speed That Sticks
csswizardry
10
720
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Unsuck your backbone
ammeep
671
58k
Designing for Performance
lara
610
69k
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