- [[FunctionalProgramming]] * 関連 [[#rel]] [#gf13815d] - [[TAPL]] Types and Programming Languages - [[型システム>TypeSystem]]