OCamlでJavaScriptが幸せ

BuckleScript + Reason

Transcript

1. OCamlでJavaScriptが幸せ
2. .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)
3. Lisp知ってますか? (defun fact (n) (if (= n 0) 1 (* n (fact (- n 1))) ) ) (format t "~A" (fact 42))
4. Lisp = (型無し)λ + macro
5. Lisp = JavaScript + macro
6. λ ≒ 値としての函數 (を表はす記法) let callback = (err, data) => { if (err) { throw err; } console.log(data); }; fs.readSync(ʻmomongaʼ, ʻutf8ʼ, callback);
7. 型無しλには型が無い
8. 型? 型 = 値の分類
9. 型? 命題P(x) : xは美味しい 「美味しいもの」は型Pを持つ。
10. 型? 型が在り、型の演算が出來れば、 計算を検証出來る。
11. 命題f : 美味しいものは今⽇の⼣⾷になる 命題g : トマトは美味しい ⇒ 命題h : トマトは今⽇の⼣⾷になる
12. 型P : 美味しいもの 型Q : 今⽇の⼣⾷ 型R : トマト 函數f : P→Q 函數ｇ : R→P ⇒ f・g = 函數h : R→Qが作れる
13. Lisp + 型 → ML
14. Lisp + 型 + OOP → OCaml
15. OCaml 正格な型の割りと純粋な函數型⾔語 ⾦融系や原發その他で實績が在る
16. JavaScript 型は餘んまり無い 第⼀級函數 モジュールでプログラムを區 切る ちょっとしたOOP 正格 & 先⾏評價 mutable (時々immutable) OCaml (実⾏時には)型は餘んまり無い 第⼀級函數 モジュールでプログラムを區切 る ちょっとしたOOP 正格 & 先⾏評價 immutable (時々mutable)
17. JavaScript 型は餘んまり無い 第⼀級函數 モジュールでプログラムを區 切る ちょっとしたOOP 正格 & 先⾏評價 mutable (時々immutable) OCaml (実⾏時には)型は餘んまり無い 第⼀級函數 モジュールでプログラムを區切 る ちょっとしたOOP 正格 & 先⾏評價 immutable (時々mutable)
18. JavaScript 型は餘んまり無い 第⼀級函數 モジュールでプログラムを區 切る ちょっとしたOOP 正格 & 先⾏評價 mutable (時々immutable) OCaml (実⾏時には)型は餘んまり無い 第⼀級函數 モジュールでプログラムを區切 る ちょっとしたOOP 正格 & 先⾏評價 immutable (時々mutable) /| ﾍ /|/ | N /i/´ ﾞ￣￣｀`ヾ)＿ ∧ / V .| , Nヾ ﾞ ﾞヽ |＼/ ∨l/ ﾚ‘ 7Nﾞ､ ﾞi _|｀ JS /Nﾞゞ .! ヽ O だ 7ゞミﾐ､ ノ,彡ｲﾊヾ、 i Z C っ Zー-r-==､’リノ_ﾉ_,.ヾミ,.ｨ,ﾆi ヽ a た / {i ｀ﾞ‘;l={ﾞ´石ゞ}=’´ﾞ‘r_/ 〈 m ん |: ｀iー’/ ヾ､__,.ﾉ /i´ / l だ i､ ! ﾞﾆ-=､ u / ,ト, ∠_ は よ |｀ ヽ、I‘､_丿 ／／/ ヽ /_ ！！ | ＿,.ｨﾍヽ二 ｨ'_／ / ﾞi＼|／Wlﾍ |'￣／ i ヽ_.／´ ./ .| ｀＼ ∨＼ wﾍ /＼|／ /ィ´￣ﾞi / ir＝､ l'i"ヽ､ ∨ ∠__,,..-ｲ i /＼_,ｲ,=-、 i ､,.ゞ､ | ﾞ'"ヽ ＼ ! .i-'´ ,i | ./｀ﾞ'i' /i_.!._,..ヽ＜! ﾞi､ﾞi. =ﾞ! ＼ ! | .,iﾞ::|/ .| ,/::/-i ﾞi ﾞi 三ﾞi ﾞi | /⌒ i/ .| ,iﾞ:::i' | ,/ ::/= .|三. ﾞi/.| .| .| .ij:. .l〉 | ,iﾞ :::| .!' ::::iﾞ'i ﾄ. ﾞi | _,.. V ＝,! ! | ,iﾞ ::::| / ::::::| l= ヾ!.._ ヽ｣ "´;i :.:i ./ . | .| .,i ::::::| ,/::::::::::| ヾ:.:. ヾ::" ﾞ /／ │ | ,i::::::::| ,/ .::::::::: | ﾞi.:.:.:.:.:､:.:.:.:.:.:.:.:.:.:／,ｨ'"´ .| | i::::::::,ｲ::::::::::::::::| /ﾄ､;:;:;:;:;:;:;:;:;:;::,ノi|Y
19. bloomberg/BuckleScript
20. *.ml → [BuckleScript] → *.js
21. let f x y = x + y function f(x, y) { return x + y | 0; }
22. class c = object (self) val p = 19 method f v = v * p end let i = new c;; Js.log (i#f 3) function c_init($$class) { var ids = CamlinternalOO.new_methods_variables($$class, shared, ["p"]); var f = ids[0]; var p = ids[1]; CamlinternalOO.set_method($$class, f, function (self$neg1, v) { return Caml_int32.imul(v, self$neg1[p]); }); return function (_, self) { var self$1 = CamlinternalOO.create_object_opt(self, $$class); self$1[p] = 19; return self$1; }; } var c = CamlinternalOO.make_class(shared, c_init); var i = Curry._1(c[0], 0); console.log(Curry.js2(102, 1, i, 3));
23. facebook/Reason
24. Reason type component = {displayName: string}; let module Sibling = { let createElement (children: list component) => {displayName: "t Sibling"}; }; let module Momonga = { let createElement a::a=? b::b=? children => {displayName: "t Momonga "}; }; let div argument1::argument1=? children => { displayName: "test”; }; Js.log <Sibling> <Momonga a=10 b=0 /> <Momonga a=10 b=0 /> <div argument1=1 />; </Sibling>;
25. Reason ≒ OCaml + JSX
26. *.re → [Reason] → AST → [BuckleScript] → *.js
27. OCaml v.s. TypeScript TypeScript < OCaml ∴ OCaml
28. OCaml v.s. Flow Flow < OCaml ∴ OCaml
29. OCaml v.s. Haxe Haxe ≠ OCaml = JavaScript ∴ OCaml
30. OCaml v.s. Haste Haste = Haskell ≠ JavaScript ∴ OCaml
31. OCaml v.s. Elm Elm ≒ OCaml + FRP Elm ≠ JavaScript ∴ OCaml
32. OCamlで幸せ