Recomendados
Mais conteúdo relacionado
Destaque
Semelhante a Callback DSL on Haxe
Último
Último (9)
Callback DSL on Haxe
- 1. Callback DSL on Haxe by Technical Rockstars CTO @nobkz
- 2. 自己紹介 Technical Rockstars CTO tw : @nobkz Haxe/JS/C#/Java/Objective-C++ 好きな言語：Lisp(Common Lisp, Gauche)/Haskell/ OCaml/Prolog 福岡Haxe勉強会主催
- 3. Haxe?
- 4. Haxe いろんな言語にコンパイルできる (to Flash, C++, C#, JS, PHP, Java, NekoVM) 強力な型システム(型推論など) 強力なマクロ
- 10. コールバック地獄例
- 12. ある日のこと…
- 15. CPSスタイル(Scheme)
- 18. そして僕は気づいた
- 21. 方針 1 . とりあえず、モナドの結合ができるようにする 2. do記法をつくる 3. コールバックDSLをつくる
- 22. そしていろいろあって
- 24. 結局できたもの
- 25. Before
- 26. Before
- 27. After
- 28. After
- 29. なんということでしょう!
- 32. Monad?
- 34. Optionモナド作成
- 35. Option(Maybe)型について Option(HaskellではMaybe)型をつくる data Maybe a = Just a | Nothing Haxeではenumで実現
- 37. enumの例 enum MyNumber{ Zero; Plus(i:Int); Minus(i:Int); } ! var x : MyNumber = Zero; var y : MyNumber = Plus(10); var z : MyNumber = Minus(10);
- 38. EnumでOptionの実装 型パラメータとEnumでOptionを作った。 enum OptionDef<T>{ None; // Nothing of Haskell Some(i:T); // Just of Haskell }
- 39. returnとbind モナドで必要に関数は2つ Mが対象のデータ型だとする return :: A -> M A >>= :: M A -> (A -> M B) -> M B これらの関数がモナド則を満すように実装する
- 41. Optionのreturnとbindの型定義 Option型のクラスをつくり、クラスメソッドとして 実装する Option.mPack<A> : A -> OptionDef<A> Option.mBind<A,B> : OptionDef<A> -> ( A -> OptionDef<B> ) -> OptionDef<B>
- 42. 実装 class Option{ public static function mPack <A>(a : A) : Option<A> return Some(a); ! public static function mBind <A,B>(m : OptionDef<A>, f : A -> OptionDef<B>) : OptionDef<B> return switch(m){ case Some(a) : f(a); case None : None; }; }
- 43. returnとbindを組み合わせ モナドの計算はbind(>>=)とreturnで組織する Haskell の例： return 10 >>= (x -> return x >>= (y -> return x >>= (z -> return (z + x + y))))
- 44. Haxeでのモナドの計算 Haxeのある機能をつかわないとやりづらい Option.mBind(Option.mPack(10),function(x) return Option.mBind(Option.mPack(x), function(y) return Option.mBind(Option.mPack(y),function(z) return Option.mPack(x+y+z)))); しかるある機能を使うと途端に楽になる
- 45. using! usingを使うと第一引数が、なんと、メソッドを呼 び出すオブジェクトみたいに! using Option; ! 10.mPack().mBind(function(x) return x.mPack().mBind(function(y) return y.mPack().mBind(function(z) return (x + y + z).mPack())));
- 47. Haxeのdo記法の実装
- 50. 1 + 1の構文木 { expr : EBinop(OpAdd, { expr : EConst(CInt(1)), pos : #pos(Sample.hx:10: characters 6-7) }, { expr : EConst(CInt(2)), pos : #pos(Sample.hx:10: characters 10-11) }), pos : #pos(example/Sample.hx:28: characters 6-11) }
- 52. 例 ： 1 + 1を引き算にする macro public static function toSub(e){ return switch (e.expr) { case EBinop(OpAdd, a, b): macro $a - $b; case _: e; } } ! ! toSub(1 + 1); // => 0