プログラミングをしていると、「再帰関数」や「自己参照型」を用いた抽象的な記述はしばしば魅力的であり、高度な型システムを備えた言語（TypeScript、Haskell、Rust、Scalaなど）においては、これらの表現が日常的に登場いたします。 しかしその陰に潜む罠 ...