Scalaの型クラスを完全に理解する

Transcript

1. Scalaの型クラスを 完全に理解する @jooohn1234
2. M3, Inc. @jooohn1234 じょんと呼んでください！
3. 型クラス (Type Classes)
4. 型クラス is
5. 型のクラス
6. 型クラス is 型のクラス
7. うんうん、わかるわかる！
10. 型クラスは 同様の型のひとまとまり
11. 雰囲気 0, 100, -50 Int ??? データ 型 型クラス インスタンス インスタンス クラス クラス
12. Wikipedia
13. “a type class is a type system construct that supports ad hoc polymorphism. ”
14. うんうん、わかるわかる！
15. “... is also known as function overloading or operator overloading. ”
16. 型クラスは 同様の型のまとまりで Function Overloadingを実現す る型システム上の機構
17. JsonEncoder 型クラスのイメージ • def toJson(value: ???): Json • こんなことができそう ◦ toJson(1) ◦ toJson(“hoge”) ◦ toJson(User(userId = 1, name = “jooohn”))
18. Scalaでの型クラス
19. 1. 型クラスとなるtraitを宣言
20. 1. 型クラスとなるtraitを宣言 型パラメータで型クラスの インスタンスの型を受け取 るようにする
21. 1. 型クラスとなるtraitを宣言 JsonEncoder[A]の値が 存在するとき AはJsonEncoder型クラ スのインスタンス
22. 2. 型クラスのインスタンスを作成 (implicit)
23. 2. 型クラスのインスタンスを作成 (implicit) StringはJsonEncode型 クラスのインスタンス
24. 3. 型クラスをimplicitに利用するメソッドを定義
25. 3. 型クラスをimplicitに利用するメソッドを定義 JsonEncode[A] 型の値を implicitスコープから参照
26. 4. 値(の型)によっていい感じに処理をoverload
27. わからないでもない！
28. それで、subtypingと比べて なにがうれしいの？
29. これでもいいような
30. Scalaで型クラスを使うn個の理由 1. finalな型の拡張 2. 値に依存しない関数の定義 3. scopeのコントロール 4. インスタンスの導出 5. 解決する課題の違い
31. 1. finalな型の拡張
32. 1. Final なクラスの拡張 • Scala標準ライブラリなどで定義されている クラスなんかも拡張できる
33. 2. 値に依存しない関数の定義
34. 2. 値に依存しない関数の定義 • JsonDecoderを普通のtraitの使い方では 作れない。(Json => A のシグネチャ)
35. 2. 値に依存しない関数の定義
36. 3. スコープのコントロール
37. 3. scopeのコントロール
38. 4. インスタンスの導出
39. 4. インスタンスの導出 • implicit def を用いた動的なインスタンス生 成
40. 4. インスタンスの導出 • implicit def を用いた動的なインスタンス生 成
41. 4. インスタンスの導出 • (Advanced) shapelessを用いたcase classか らのインスタンス導出
42. 4. インスタンスの導出 • (Advanced) shapelessを用いたcase classか らのインスタンス導出
43. 5. 解決する課題の違い
44. 5. 解決する課題の違い モチベーション 利用時の型 subtyping 複数の型のインスタン スを、抽象型として扱い たい。 abstract: val strategy: Strategy = SimpleStrategy type classes 任意の型に関して行う 共通処理を提供した い。 concrete: toJson(1: Long)
45. 5. 解決する課題の違い 0, 100, -50 Int JsonEncoder データ 型 型クラス インスタンス インスタンス クラス クラス subtyping
46. 完全に理解した！