関数型まつり2025
公募セッション10分 （LT）

Kotlinで学ぶSealed classと代数的データ型

ysknsid25 Kanon ysknsid25
2

対象とする聴衆のレベル（該当するレベルを記載してください。）

  • Beginner: 分野の前提知識を必要としない

セッションのテーマ（該当するテーマを記載してください。なければ追加頂いて良いです）

  • 理論
  • 入門

セッションの概要

関数型プログラミングと聞いて、初心者の方が一番に連想するキーワードは"純粋関数"ではないでしょうか。
一方で、純粋関数を作るうえで"副作用を受けない・スコープが決まっている値"というのは非常に重要ですが、この概念=代数的データ型についてはまだそれほど広まっていないように思います(主観)

そこで、このセッションではKotlinを用いて直積型と直和型から始まり、enumとSealed classとの違いについてまでお話しします。