1. 多相Variantの紹介
うさぎ組 in #fpstudy
2012/05/19

2. Self Introduction
名前：きょん(kyon_mm)
Blog : うさぎ組
Target : 開発環境改善
Groovy、テスト、自動化、アジャイル、品質保証
24歳うさみみ系男子
SCMBootCamp、Nagoya.Testing、 StartupGroovy

3. 今日発表する理由

4. またもや@bleisさんと@mzpさんにはめられた件
http://d.hatena.ne.jp/kyon_mm/20120421/1335018515

5. ということで

6. 多相Variant

7. Variant

8. 型安全なenumみたいな

9. 値もてるけどな！

10. Variant

11. type irof1 = Osaka_irof of PG
|Fukuoka_irof of PG;;

12. type irof2 = Tokyo_irof of PG;;

13. それぞれにパターンマッチ
とか使えて便利！

14. あー

15. 全国のirof を対象にしたい

16. つまり

17. irof を統一したい

18. 書いてみる

19. type irof = Irof1 of irof1
| Irof2 of irof1;;

20. あれ？

21. Irof1 とか Irof2 とか

22. ちょっと邪魔ですね

23. そこで

24. 多相Variantですよ！

25. type irof1 = [`Osaka_irof of PG
|`Fukuoka_irof of PG];;

26. type irof2 = [`Tokyo_irof of PG];;

27. 再度

28. irofを統一したい！

29. type irof = irof1
|irof2 ;;

30. スッキリ！！！

31. あれ？

32. でも、こんなものが。。。

33. #いろふさん目撃証言

37. irofを追加したい！

38. そこで！

39. 多相Variantですよ！

40. 確認

41. 追加したいirof

42. Okayama_irof
Nara_irof
Nagoya_irof

43. 追加しよう

44. type w_irof = [`Okayama_Irof
! ! ! ! ! ! ! |`Nara_Irof
! ! ! ! ! ! ! | irof1];;

45. 簡単にirofさんを
追加できます！！

46. いまのは

47. 要素を追加したけど

48. クライアント側では

49. もちろん静的に処理を追加
できるわけです

50. ちょっと戻ると

51. 多相

52. Variantで型が被っていると
コンストラクタで

53. type A = [Foo| Num of int];;
type B = [Bar | Num of int];;

54. let func = function
Num i -> i
| _ -> failwith "Not Number";;

55. このときにAとして
使われる。。。

56. でも、多相にしておけば
大丈夫！

57. func を多相的に使えます。

58. ほかに

59. 多相Variantには3つある

60. 開いている
閉じている
固定

61. 固定

62. 固定 ->
定義されているものと丁度合う

63. 開いている

64. 開いている ->
少なくとも定義されているもの
をもっている

65. 閉じている

66. 閉じている ->
定義されているもののうちどれ
かをもっている
(定義以外はダメ)

67. まぁいろいろ便利です。

68. ご清聴ありがとうぴょん◆