![代数的データ型の例(2)
• 木構造と型パラメータ
enum Tree<T> {
Node(children : Array<Tree<T>>);
Leaf(value : T);
}
var tree = Node([
Leaf("leaf-1"),
Node([
Leaf("leaf-2"),
Leaf("leaf-3"),
])
]);](https://image.slidesharecdn.com/haxe-130825041301-phpapp02/75/Haxe-32-2048.jpg)
![パターンマッチングの例(3)
• 配列のパターンマッチング
– 配列の長さは固定で指定する
// _ はワイルドカードパターン
switch (x) {
case []:
trace("空配列");
case [_, 0]:
trace("要素が2つで末尾は0");
case [_, _]:
trace("要素が2つ");
case _:
trace("それ以外");
}](https://image.slidesharecdn.com/haxe-130825041301-phpapp02/75/Haxe-37-2048.jpg)
オブジェクト指向の皮をかぶった関数型プログラミング言語 Haxe
- 3. 近況 • 意識の高い無職です • 11月頃に法人を立ち上げるらしいです • 仕事ください & 社員が1人欲しい
- 4. コミュニティ活動 • DSTokai : 東海地方のメタコミュニティ – IT系イベントカレンダー(東海地方限定) – コミュニティ連絡用ML – http://go.dstokai.info/ • NGK : なごや ごうどう こんしんかい – 主に忘年会を開催 – 今年は12/7(土)12/14(土)に開催予定 – 150人規模ぐらいの会場を探してるところ • 吹上ホールの会議室になりそうな雰囲気
- 5. 技術領域 • 経歴上はフロントエンドエンジニアぽい – HTML5, WPF/Silverlight, WinRT • アーキテクチャ設計とかもできます • Haxe/JavaScript歴 1年強 – 20-30人規模(最大時)のSaaSプロジェクトに Haxe導入～基盤構築までやったことあります http://www.slideshare.net/terurou/haxe- 15006171
- 8. 話すこと • Haxeとは • Haxeの良いところ、悪いところ • Haxeの特徴的な言語仕様 • まとめ
- 10. Haxeとは • マルチプラットフォーム • ActionScript 3由来の保守的な構文 • OCaml由来の型システム • 3.0が最近(2013年5月)リリースされた – 言語仕様と標準ライブラリが大きく改善
- 11. マルチプラットフォーム • 様々な環境向けに出力可能 • 特にWebフロントエンドに強い – Flash(直接swfを出力可能) – JavaScript(Haxe 3.0からAPIが大幅強化) – その他にC++, Java, C#, PHPなど • OpenFL – 次ページで解説
- 12. OpenFL(旧称 NME) • Flash APIをマルチプラットフォーム化 – Web: HTML5, Flash – Desktop: Windows, Mac, Linux – Mobile: Android, iOS, Blackberry • ゲーム, Flashアプリの移植にどうぞ • http://www.openfl.org/
- 13. ActionScript 3由来の保守的な構文 • 基本構文はほぼActionScript 3そのもの – C#やJavaなどにも似ている – 構文が多少冗長だがエディタでカバーできる • 大多数の人間に馴染みの深い構文なので、 学習コスト・実戦投入コストが低い – F#とかより心理的障壁が小さい
- 14. OCaml由来の型システム • オブジェクト指向 + 関数型 • 静的型付け + 動的型付け – 基本的には静的型付けでコードを記述する – 動的型付けはJavaScriptなどの動的な環境と 相互運用を図るために用意されている • 型安全な(信頼性の高い)コードを簡潔に – 詳細は後述
- 16. Haxeの良いところ • 型安全 • コンパイル言語だがコンパイルが爆速 • 言語として十分にこなれている – わりと長い開発歴(2005年～) – わりと多いユーザー数 • エディタ環境がまとも – コンパイラ自体がコード補完サービスを提供
- 17. Haxeの悪いところ • 公式ドキュメント(wiki)に難がある – リファレンスのトピックが整理されてない – 日本語訳ページは情報が古い場合がある • 日本国内のユーザがそれほど多くない – わりとコアなユーザはついている – 最近になって情報が増えてきた感じはする
- 19. Haxeの特徴的な言語仕様 • 型推論 • 匿名型 • 構造的部分型 • 代数的データ型 : enum • パターンマッチング : switch式 • 抽象型 : abstract • macro
- 20. フツーの構文の説明が欲しい人向け • FIRST STEP to Haxe/JavaScript – ちょっと前に書いた入門向け資料 – http://www.slideshare.net/terurou/first- step-to-haxejavascript
- 21. 解説に入る前の予備知識 • Haxeでは関数ブロックが1行だけの場合は returnを省略できる • 以後のサンプルコードで多用してます function add(a : Int, b: Int) { return a + b; } function add(a : Int, b: Int) a + b;
- 22. 型推論 • 「変数や関数の仮引数の型」を明示的に 宣言しなくてもコンパイラが自動判定 – コードの記述量を減らすことができる – 型推論に失敗したら型エラーが出る リファレンス – http://haxe.org/ref/type_infer – 日本語翻訳は情報が古いので注意
- 23. 型推論の例(1) • 変数の型推論 var foo : Int = 100; var foo = 100;
- 24. 型推論の例(2) • 型パラメータの型推論 var array = new Array<String>(); var array = new Array(); array.push("hoge"); //Array<String>になる
- 25. 型推論の例(3) • 仮引数の型推論 • 値型(Int, Float等)の推論が失敗しやすい • 仮引数への入力補完も効かなくなるので 私はあまり多用していない function circle(r : Float) r * r * 3.14; function circle(r) r * r * 3.14;
- 26. 仮引数がうまく型推論できない例 • Float -> Float -> Floatが推論失敗 • 宣言順序によって推論失敗 function add(a, b) a + b; add(10.5, 3.1); //Float should be Int function f(x) { /* ... */ } f(100); //ここで引数の型がIntになる f(5.5); //NG function f(x) { /* ... */ } f(5.5); //ここで引数の型がFloatになる f(100); //OK
- 27. 匿名型 • いわゆる構造体 • カスケードも可能 • リファレンス – http://haxe.org/manual/struct typedef Object = { id : Int, ?name : String, //省略可能な項目 } typedef Rectangle = {>Object, size : { width : Int, height : Int }, position : { x : Int, y : Int }, }
- 28. 構造的部分型 • duck-typingを静的な型として扱う – メソッド, フィールドなどを型として宣言 – コンパイル時にシグネチャ誤りを検出できる • Javaとかのinterfaceより気軽に使える – クラスの継承関係は関係なく、シグネチャが マッチしているだけで良い • リファレンス(ちゃんと解説されてない…) – http://haxe.org/manual/struct?lang=en#str uctural-subtyping
- 29. 構造的部分型の例 • getDate()さえ存在すればOKな例 function printTime(x : {getTime : Void -> Float}) { trace(x.getTime()); } var date = Date.now(); var obj = { getTime : function () return 0.0; }; printTime(date); printTime(obj);
- 30. 代数的データ型 : enum • 複雑な状態遷移やデータ構造を単一の型で 表現できる – 後述のパターンマッチングと合わせて使うと 型安全なコードを簡潔に記述できる • C言語のenumやunionを大幅強化したもの – enum : 定数値の集合 – union : 単一の変数に異なる型の値を設定 • リファレンス – http://haxe.org/ref/enums
- 31. 代数的データ型の例(1) • 簡単な例 enum Color { Red; Green; Blue; Rgb(r : Int, g : Int, b : Int); } var color1 = Color.Red; var color2 = Color.Rgb(255, 127, 127); var color3 = Green; //enumの識別子を省略
- 32. 代数的データ型の例(2) • 木構造と型パラメータ enum Tree<T> { Node(children : Array<Tree<T>>); Leaf(value : T); } var tree = Node([ Leaf("leaf-1"), Node([ Leaf("leaf-2"), Leaf("leaf-3"), ]) ]);
- 33. パターンマッチング : switch式 • 複雑な条件分岐を簡潔かつ安全に記述可能 – 条件分岐の誤り(存在しえない条件や重複)を 検出してコンパイルエラーにする • データとロジックの分離が容易になる – OOPではカプセル化が基本なので分離が面倒 • リファレンス – http://haxe.org/manual/pattern_matching
- 34. パターンマッチングの例(1) • 代数的データ型のパターンマッチング enum Color { Red; Green; Blue; Rgb(r : Int, g : Int, b : Int); } var code = switch (color) { case Red: "#FF0000"; case Green: "#00FF00"; case Blue: "#0000FF"; case Rgb(r, g, b): "#" + StringTools.hex(r, 2) + StringTools.hex(g, 2) + StringTools.hex(b, 2); }
- 35. 代数的データ型+パターンマッチがない言語では • こういうやつが面倒 • ユーザ側にdraw()は隠したい – package privateにする？ – 別途ValueObjectを用意する？ – Contextにdraw()を移動する？ • Shapeを引数にするとダウンキャストが必要… interface Shape { void draw(Context context); } class Rectangle implements { /* size, position */ } class Line implements { /* startXY, endXY */ }
- 36. パターンマッチングの例(2) • enumとswitchでVisitorパターン enum Tree<T> { Node(children : Array<Tree<T>>); Leaf(value : T); } function visit(tree) { switch (tree) { case Node(children): trace("Node"); for (x in children) visit(x); case Leaf(value): trace("Leaf : " + value); } }
- 37. パターンマッチングの例(3) • 配列のパターンマッチング – 配列の長さは固定で指定する // _ はワイルドカードパターン switch (x) { case []: trace("空配列"); case [_, 0]: trace("要素が2つで末尾は0"); case [_, _]: trace("要素が2つ"); case _: trace("それ以外"); }
- 38. パターンマッチングの例(4) • オブジェクトのパターンマッチング • クラスインスタンスに対しては制限あり – フィールドのみ(プロパティとメソッドは×) – 親クラスのフィールドも× var mascot = { name: "ドアラ", age: 19 }; switch (mascot) { case { name: "つば九朗" }: trace("エロつばめ"); case { name: x }: //フィールド値をキャプチャ trace(x); }
- 39. パターンマッチングの例(5) • ORパターン switch (value) { case 0 | 1: trace("0 or 1"); case 2 | 3 | 4: trace("2 or 3 or 4"); case _: trace("その他"); }
- 40. パターンマッチングの例(6) • ガード – パターンにif条件を追加できる var mascot = { name: "ドアラ", age: 19 }; switch (mascot) { case { age: x } if (x == 19): trace("つば九朗と同期のマスコット"); case _: trace("その他大勢のマスコット"); }
- 41. 抽象型 : abstract • 型をラップするためのもの – Javaなどの抽象クラスとは全く別の概念 • 暗黙の型変換と演算子オーバーロードを 定義をすることが主な用途 • リファレンス – http://haxe.org/manual/abstracts
- 42. macro • コンパイル時にコードをAST変換する – やる気になれば構文拡張もできる – 実際にmacroでMaybeモナド構文を実装した ライブラリも存在する(Monax) • 関数を書くのと同じ感覚で使える • リファレンス – http://haxe.org/manual/macros
- 44. Haxeとは • マルチプラットフォーム – 特にWebフロントエンドとゲームに強い • 大多数の人間に馴染みやすい構文 • OCaml由来の強力な型システム – オブジェクト指向 + 関数型 – 型安全なコードを簡潔に
- 45. 最後に伝えたいこと • JavaScript界隈の人間はHaxe触るべし • 代数的データ型+パターンマッチングが 非常に強力 – これがない言語はやりたくなくなる – TypeScriptにはこれがないんだよね… • Javaが書ける人間ならHaxeを書ける – 下手にJavaScript覚えるよりも幸せっぽい – Haxe特有のものを使わなくても恩恵は大きい