![*.ml
→ [BuckleScript] → *.js](https://image.slidesharecdn.com/ocamljavascript-161208112939/85/OCaml-JavaScript-20-320.jpg)
![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));](https://image.slidesharecdn.com/ocamljavascript-161208112939/85/OCaml-JavaScript-22-320.jpg)
![*.re
→ [Reason] → AST
→ [BuckleScript] → *.js](https://image.slidesharecdn.com/ocamljavascript-161208112939/85/OCaml-JavaScript-26-320.jpg)
OCamlでJavaScriptが幸せ
- 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. 型? 型 = 値の分類
- 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
- 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
- 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で幸せ