実務で使わないであろうHaskellを敢えて学んでみた

Transcript

1. 実務で使わないであろう Haskellを敢えて学んでみた Taketeru
2. 自己紹介 名前：Taketeru 職業：ソフトウェアエンジニア（2年目） 趣味：ゴルフ、飲酒、ミニマリズム 気になっていること：自作OS 悩み：引っ越し先を探すのが面倒くさい 外部のLT登壇は本日が2回目！
3. Haskellって何？
4. Haskellとは純粋関数型プログラミング言語
5. 一旦、Haskellは置いといて...
6. なぜHaskellを学ぼうと思ったのか？
7. これまで培ってきたプログミングの メンタルモデルを壊して思考を整理したかった
8. （きっと）良くあるプログラミングの メンタルモデルの構築パターン
9. JavaやRubyなどのオブジェクト指向言語を使って、手続 き型プログラミングで簡単な実装をする
10. 少しずつ実装するプログラムが大きくなっていき、クラス が肥大化する
11. どうやらオブジェクト指向プログラミングを すると良いらしい
12. なんとなくオブジェクトを設計し、 モノの抽象化をして、継承なんかを使ってみる ポリモーフィズムを実現したつもりになっている
13. なんかバグは多いし、 実装は分かりづらいし、 具象クラスに空っぽのメソッドが出現し始める
14. なんか違う、いや絶対違うと思い、 コード設計について勉強し始める
15. コード設計の勉強をしていくと... ➢ 継承は使わずに、委譲を使う ➢ オブジェクトはイミュータブルに設計する ➢ interfaceで振る舞いを抽象化する　など...
16. え？オブジェクト指向プログラミングとは？？
17. 某kさんの話を聞く
18. 「業務アプリケーションに、オブジェクト指向プログラミン グは必要ない」 （※若干の誇張あり）
19. え？？？
20. ナニモワカラナクナッタ
21. そうだ、 全然違うプログラミング言語を勉強してみよう
22. やっと本題 ここからHaskellを学び始めた話
23. Haskellとは純粋関数型プログラミング言語
24. 純粋関数とは？
25. 純粋関数は以下のような特徴をもつ関数 ➢ 同じ式を引数に与えた時に、常に同じ結果を返 す（参照透過性） ➢ 副作用（入出力、状態の変更、再代入など）を 持たない
26. 具体的には？
27. 純粋関数の例（Haskell）
28. ここからコード例はJavaで話を進めます
29. 純粋関数の例（Java）
30. 参照透過性を満たさない関数とは？
31. 参照透過性を満たさない関数の例（Java）
32. 副作用がある関数とは？
33. 副作用がある関数の例（Java）
34. 純粋関数の何が良いのか？ ➢ テストがしやすい ➢ バグが起きにくい ➢ 実行順序に依存せず、並列処理もしやすい
35. Haskellでは、参照透過性を満たし、 副作用のない純粋関数が強制される
36. そんなHaskellを学んで、 実務にどんな良いフィードバックがあったか？
37. ➢ 業務ロジック部分は純粋関数を意識して実装する ようになった → テスト容易性が上がり、バグも工数も減った ➢ モノ（オブジェクト）ではなく、コト（関数、メソッド）の 抽象化を考えるようになった
38. Haskellの純粋関数の考え方は他の言語でも有用
39. で、Haskellを学び始めて思考は整理されたか？
40. Haskellを学び始めて思考が整理された ➢ 特定のプログラミング手法に囚われる必要はな い ➢ ソフトウェアは保守性、拡張性、品質の高さが大 切であり、様々なプログラミング手法で培われて きたノウハウを組み合わせれば良い
41. 実際、オブジェクト指向言語であるJavaにも、 関数型プログラミングの要素が入ってきている
42. そろそろまとめ
43. オブジェクト指向プログラミングを あまり理解せずに、コード設計を勉強したことで、意識せ ずに関数型プログラミングの考え方に触れ、Taketeru少 年は混乱した
44. そこで、純粋関数型言語であるHaskellを学び始め、関 数型プログラミングの良さを知り、 それがオブジェクト指向型言語にも有用であることを理 解した
45. ここから少しだけ話が飛躍します
46. プロダクトはなんらかの価値を生み出すことが目的
47. アプリケーションはそのための手段
48. つまり、目的を達成するために より良い手段を使っていけば良い
49. より良い手段の引き出しを増やすためには、 目の前の技術だけでなく、 幅広く学んでいくのが良いんだろうなぁ
50. 実務で使うか否かだけではなく、 幅広く色んな知識を学んでいきたい それらの知識が繋がる時を信じて... （最後にやっとタイトル回収）
51. ご静聴ありがとうございました