# セッションのテーマ - 言語 - 理論 - 実践手法 # 想定する聴衆/前提知識 - 関数型言語（Scala, Haskell, OCaml、等）に触れたことがある - Generics/ジェネリクスの概念を理解している - 型クラスやトレイトなどの抽象化機構について基本的な知識がある # 聴衆が得られるもの 強力な型システムとシンプルな…