関数型初心者におすすめしたい "OCaml"

Transcript

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