Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

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

8f4860855bc98d47af58e43652aae1e7?s=128

cedretaber

July 29, 2019
Tweet

More Decks by cedretaber

Other Decks in Programming

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 動 良 ……

  46. None
  47. BuckleScript

  48. BuckleScript Facebook 開発 関数型 AltJS OCaml 改造 作 OCaml JS

    、 上 動 JS 連携 容易 設計
  49. BuckleScript npm 使 環境 構築 npm yarn 使 依存性管理 JS

    利⽤
  50. BuckleScript 、折⾓ 書 使 ?

  51. None
  52. ReasonReact

  53. ReasonReact React Reason Reason 何? -> 簡単 ⾔ OCaml

  54. ReasonReact 実質 React 、 React 知識 使 関数型 性質 React

    性質 相性 好
  55. ReasonReact BuckleScript OCaml 学 関数型 基礎 ⾝ ReasonReact 開発 関数型

    応⽤ ⾝
  56. 学習環境 整 OCaml 、学習 理由 ?

  57. OCaml BuckleScript ReasonML