Slide 1
Slide 1 text
ؔܕॳ৺ऀʹ
͓͢͢Ί͍ͨ͠
"OCaml"
@cedretaber
Slide 2
Slide 2 text
ࣗݾհ
Job
Telecommunications & Media
at Work
Scala
as Hobbies
Ruby, D, OCaml, Erlang, &c.
@cedretaber
Slide 3
Slide 3 text
ؔܕݴޠ
Slide 4
Slide 4 text
ؔܕݴޠ
最近（？） 聞
新 ⾔語 中 「関数型 性質 取 ⼊ 」
多 （例 Rust, TypeScript ）
作法 設計 ⾄ 「関数型 考 ⽅
役⽴ 」 ⾔
Slide 5
Slide 5 text
ؔܕݴޠ
時流 「今 関数型⾔語 知
勉強 」 ⼈ 多
Slide 6
Slide 6 text
ؔܕݴޠ
⼈ OCaml
Slide 7
Slide 7 text
OCaml
Slide 8
Slide 8 text
OCaml
INRIA 開発 ⾔語
ML ⼀族 連
Slide 9
Slide 9 text
ML
⾃動定理証明 為 作 ⾔語
様々 実装・⽅⾔ 持 （ SML, OCaml ）
Hindley–Milner 式型
関数 、 、
正格評価、 化 特徴 持
Slide 10
Slide 10 text
OCaml
Caml ML ⽅⾔
指向 機能 追加 作
OCaml
関数型 指向 ⾔語
Slide 11
Slide 11 text
OCaml
※ 今回 OCaml 指向 機能
取 扱
Slide 12
Slide 12 text
OCaml Λ
͓͢͢Ί͢Δཧ༝
Slide 13
Slide 13 text
ใྔ
Slide 14
Slide 14 text
ใྔ
初⼼者 学習 上 ⼤切 情報量
OCaml 情報 多
、「多 」
Slide 15
Slide 15 text
ใྔ
公式 ⽇本語 丁寧
https://ocaml.org/learn/tutorials/index.ja.html
Slide 16
Slide 16 text
ใྔ
書籍 良 多
『 基礎』（浅井健⼀）
『 in OCaml』（五⼗嵐淳）
Slide 17
Slide 17 text
γϯϓϧ
Slide 18
Slide 18 text
γϯϓϧ
OCaml 基本的 機能 少
変数、関数、制御式、 、
基本的 機能 組 合 書
Slide 19
Slide 19 text
γϯϓϧ
少 機能 ⾼ 表現⼒ 持
、 以上 機能 「 」提供
覚 少 、関数型⾔語 基礎的 考 ⽅ 機
能 集中
Slide 20
Slide 20 text
ڑ
Slide 21
Slide 21 text
ڑ
現在 主流⾔語 距離
C⾔語 Java 、 Python Ruby ⾔語 距離
ML 系 ⽂法 ⾔語 "少 " 異
Slide 22
Slide 22 text
ڑ
OCaml ML 系 ⽂法
、先述 通 基本的 機能 ⼩
、 副作⽤ ⼿続 型⾔語⾵ 機能
併 持
Slide 23
Slide 23 text
ڑ
主流⾔語 対 適度 距離 持
簡単 、難 点 初⼼者向
Slide 24
Slide 24 text
OCaml ΛֶͿ
Slide 25
Slide 25 text
ֶͿ
OCaml 学習 、先 述 Web 、書
籍 ⾏ 良
、 OCaml 辺 着⽬ 関数型 理解
述
Slide 26
Slide 26 text
ֶͿ
第⼀級関数 省略
最近 ⾔語 ⼤抵使 、 多⽤ 機
能 思
Slide 27
Slide 27 text
ࣜࢦ
Slide 28
Slide 28 text
ࣜࢦ
Slide 29
Slide 29 text
ࣜࢦ
Slide 30
Slide 30 text
ෆม
Slide 31
Slide 31 text
ෆม
Slide 32
Slide 32 text
ෆม
Slide 33
Slide 33 text
όϦΞϯτ
Slide 34
Slide 34 text
όϦΞϯτ
Slide 35
Slide 35 text
όϦΞϯτ
Slide 36
Slide 36 text
ύλʔϯϚον
Slide 37
Slide 37 text
ύλʔϯϚον
Slide 38
Slide 38 text
ύλʔϯϚον
Slide 39
Slide 39 text
࠶ؼ
Slide 40
Slide 40 text
࠶ؼ
Slide 41
Slide 41 text
࠶ؼ
Slide 42
Slide 42 text
OCamlΛ͏
Slide 43
Slide 43 text
͏
opam 利⽤ 、
管理 依存性管理
管理 dune 使 ⼀般
的
、 GUI 作
Slide 44
Slide 44 text
͏
待 欲
最近 開発 、
作 味気
、 UI 備 GUI 開発 容
易
Slide 45
Slide 45 text
͏
残念
上 OCaml 動 良 ……
Slide 46
Slide 46 text
No content
Slide 47
Slide 47 text
BuckleScript
Slide 48
Slide 48 text
BuckleScript
Facebook 開発 関数型 AltJS
OCaml 改造 作 OCaml
JS 、 上 動
JS 連携 容易 設計
Slide 49
Slide 49 text
BuckleScript
npm 使 環境 構築
npm yarn 使 依存性管理
JS 利⽤
Slide 50
Slide 50 text
BuckleScript
、折⾓ 書
使 ？
Slide 51
Slide 51 text
No content
Slide 52
Slide 52 text
ReasonReact
Slide 53
Slide 53 text
ReasonReact
React Reason
Reason 何？ ->
簡単 ⾔ OCaml
Slide 54
Slide 54 text
ReasonReact
実質 React 、 React 知識 使
関数型 性質 React 性質 相性 好
Slide 55
Slide 55 text
ReasonReact
BuckleScript OCaml 学 関数型 基礎 ⾝
ReasonReact 開発 関数型
応⽤ ⾝
Slide 56
Slide 56 text
学習環境 整 OCaml 、学習 理由
？
Slide 57
Slide 57 text
OCaml
BuckleScript
ReasonML