nullable
有効なデータがの代わりにnullも代入できる型
TypeScriptではhoge?: stringとかhoge: string | nullとか
HaskellのMaybeとか、RustのOptionとかは該当しなさそうmrsekut.icon
Nothingはnullとは異なる
Justと同等の扱いの値だし
他の言語におけるNullはもっと特殊な立ち位置にいる
言語全体で特殊なモノを意味している
Maybeは、Just aかNothingか、というだけ
Just1 aとNothing1にもできるわけだし、言語全体で特別扱いはされていない
null安全って、「nullableなものにチェックを強制する」ことは条件に含まれる?
じゃなきゃそうじゃないものと区別が付かないのでたぶんそうmrsekut.icon
Nullable<T>