Download as PDF, PPTX
F#で学ぶ関数プログラミング入門？
- 1. F# による関数プログラミング入門 中山裕貴 Aiming 大阪スタジオエンジニア勉強会 2013 年 5 月 27 日
- 2.
- 3.
- 4.
- 5. Functional Programming？ Functional の意味はどれでしょう？ •機能 • （数学の）関数
- 6. Functional Programming？ Functional の意味はどれでしょう？ •機能 • （数学の）関数 • 実用
- 7. Functional Programming？ Functional の意味はどれでしょう？ •機能 • （数学の）関数 • 実用
- 8.
- 9.
- 10.
- 11.
- 12.
- 13. 関数をデータに適用するために必要なもの • 小さな関数を組み合わせる − >関数が第一級であるほうが便利
- 14. 関数をデータに適用するために必要なもの • 小さな関数を組み合わせる − >関数が第一級であるほうが便利 • 名前をつけたくない関数の存在 − > ラムダ式
- 15. 関数をデータに適用するために必要なもの • 小さな関数を組み合わせる − >関数が第一級であるほうが便利 • 名前をつけたくない関数の存在 − > ラムダ式 • 同じデータであれば同じ結果であってほしい − > 破壊的代入を持たない − > 関数や型の再帰的定義を利用
- 16.
- 17.
- 18.
- 19.
- 20. F# • Microsoft Researchが開発 • FP と OOP によるマルチパラダイム • 静的型付け、.NET 基盤 • コンパイラのソースコードが公開されている
- 21.
- 22. ん？ .NET といえば C#. . .
- 23. ん？ .NET といえば C#. . . • C# には LINQ あるよね？
- 24. ん？ .NET といえば C#. . . • C# には LINQ あるよね？ • ラムダ式も導入されているし…
- 25. ん？ .NET といえば C#. . . • C# には LINQ あるよね？ • ラムダ式も導入されているし… • 別に F# でなくても良くない？
- 26.
- 27.
- 28.
- 29. そういうわけでもない C# では • 関数が第一級オブジェクトではない •ラムダ式を使える範囲も限定的
- 30. そういうわけでもない C# では • 関数が第一級オブジェクトではない •ラムダ式を使える範囲も限定的 • 破壊的代入を許可している
- 31. そういうわけでもない C# では • 関数が第一級オブジェクトではない •ラムダ式を使える範囲も限定的 • 破壊的代入を許可している • 型を手軽に定義やすいわけではない、etc − > 本日のスコープ外
- 32.
- 33.
- 34. というわけで • メインパラダイムの違いは差が大きい • より良いC# コードを書く勉強の一環として、 少し触ってみましょう
- 35. まず型定義 type EquipmentType= | Weapon | Protector type Rarity = | Common | UnCommon | Rare | SuperRare | UltraRare type Equipment = { name : string ability : decimal rarity : Rarity equipmentType : EquipmentType }
- 36. 補正付き合計攻撃力の算出 (* decimal- Equipment list - decimal *) let totalCorrectionOffensiveAbility correctionValue equipments = equipments | List.filter (fun e - e.equipmentType = Weapon) | List.fold (fun acc e - acc + e.ability) 0m | if correctionValue 0m then (*) (1m + correctionValue) else id (* Equipment list - unit *) let printCorrectionOffensiveAbility equipments = equipments | totalCorrectionOffensiveAbility 0.33m | printfn 補正付き合計攻撃力：%M
- 37. 簡易ゲームループ let recgameLoop update fps = async { do update () do! Async.Sleep (1000 / fps) return! gameLoop update fps }
- 38. 関数型言語いろいろ 有名どころ • Haskell − いわゆる純粋関数型 • OCaml − ML ベース • Scala − JVM, マルチパラダイム • Erlang − どちらかといえば分散指向 • Clojure − JVM,LISP 方言
- 39. まとめ • 関数プログラミング • F#での関数プログラミング • 話さなかったこと 1：静的型付け関数型 • 話さなかったこと 2：コンビネータ