Optional / Maybe型

プログラミング更新: 2026-10-22

「空」でありうることを型として明示する型。Rustでは Option<T>、Kotlin/Swiftでは T?、Haskellでは Maybe T。

両方の場合を処理することをコンパイル時に強制するので、NullPointerExceptionとはおさらばできる。型の中にこっそり紛れ込むnullとは異なる。現代の言語設計を牽引してきた考え方で、TypeScriptも strictNullChecks を有効にすれば同じ保証が得られる。