関数型まつり2025
採択
公募セッション10分 （LT）
公募セッション Intermediate 言語処理系 Tips

Underground 型システム

ajfAfg Show ajfAfg
1

対象とする聴衆のレベル

  • Intermediate: 分野の基礎知識を持っている

セッションのテーマ

  • 言語処理系（コンパイラー、インタープリターなど）
  • Tips

セッションの概要

型システムはある種のバグを静的に検査可能な手法で、多くの型システムは健全性を満たします。つまり、型システムが言うことは全て正しいです。

一方で、実世界の型システムは、ひょんなことから健全性を破壊する「穴」が存在していたりします。怖いですね。
本トークでは、Java や Rust、OCaml など、実世界のプログラミング言語における型システムの「穴」を概観します。罠を事前に知ることで、実際にハマったときの素早い対処や、プログラミング言語への深い理解が期待されます。