Recommended
More Related Content
Viewers also liked
Viewers also liked (20)
Similar to F#で学ぶ関数プログラミング入門？
Similar to F#で学ぶ関数プログラミング入門？ (20)
F#で学ぶ関数プログラミング入門？
- 1. F# による関数プログラミング入門 中山裕貴 Aiming 大阪スタジオ エンジニア勉強会 2013 年 5 月 27 日
- 5. Functional Programming？ Functional の意味はどれでしょう？ • 機能 • （数学の）関数
- 6. Functional Programming？ Functional の意味はどれでしょう？ • 機能 • （数学の）関数 • 実用
- 7. Functional Programming？ Functional の意味はどれでしょう？ • 機能 • （数学の）関数 • 実用
- 13. 関数をデータに適用するために必要なもの • 小さな関数を組み合わせる − > 関数が第一級であるほうが便利
- 14. 関数をデータに適用するために必要なもの • 小さな関数を組み合わせる − > 関数が第一級であるほうが便利 • 名前をつけたくない関数の存在 − > ラムダ式
- 15. 関数をデータに適用するために必要なもの • 小さな関数を組み合わせる − > 関数が第一級であるほうが便利 • 名前をつけたくない関数の存在 − > ラムダ式 • 同じデータであれば同じ結果であってほしい − > 破壊的代入を持たない − > 関数や型の再帰的定義を利用
- 16. 言葉に関する注意点
- 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. そういうわけでもない C# では
- 29. そういうわけでもない C# では • 関数が第一級オブジェクトではない • ラムダ式を使える範囲も限定的
- 30. そういうわけでもない C# では • 関数が第一級オブジェクトではない • ラムダ式を使える範囲も限定的 • 破壊的代入を許可している
- 31. そういうわけでもない C# では • 関数が第一級オブジェクトではない • ラムダ式を使える範囲も限定的 • 破壊的代入を許可している • 型を手軽に定義やすいわけではない、etc − > 本日のスコープ外
- 32. というわけで
- 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 rec gameLoop 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：コンビネータ