有効なデータがの代わりにnullも代入できる型

TypeScriptでは hoge?: string とか hoge: string | null とか

HaskellのMaybeとか、RustのOptionとかは該当しなさそう

Nothing はnullとは異なる

Just と同等の扱いの値だし

他の言語におけるNullはもっと特殊な立ち位置にいる

言語全体で特殊なモノを意味している

Maybe は、 Just a か Nothing か、というだけ

Just1 a と Nothing1 にもできるわけだし、言語全体で特別扱いはされていない

null安全って、「nullableなものにチェックを強制する」ことは条件に含まれる？

じゃなきゃそうじゃないものと区別が付かないのでたぶんそう