可空类型

可空类型（Nullable types）是在一些编程语言中允许出现NULL值的数据类型，用于表示缺失值（）或无效值，如函数执行失败的返回值，或SQL的NULL。静态类型语言中，可空类型是可选类型。动态类型语言（即值有类型，但变量没有类型）中等价于单个空值。

原始类型如整型和布尔类型不能有空值，但有对应的可空类型（可空整型或可空布尔类型）。
语言支持
支持可空类型的编程语言：

支持原生空值的静态类型语言：

C# (从版本2)可声明可空整型，如int? x.
 Dart
 Kotlin  
 Swift  
PHP

 SQL
 SAS (Missing value)

使用库支持空值的静态类型语言：
 C#版本1.0，使用外部库可定义可空类型如NullableInteger, NullableBoolean。
 Visual Basic .NET
 Java (从版本8)
 Scala

 F#
 静态类型的

支持空值的动态类型语言：
 Perl的标量类型的缺省值为undef，也可赋值为undef
 PHP有NULL类型和is_null()方法，从版本7.1开始有原生的可空类型
 Python有None值
 Julia有nothing值(属于类型Nothing)和Union{T, Nothing}类型
 Ruby有nil值和NilClass类型
 JavaScript有null值

参见
 空值结合运算符
 Union类型
 单值类型

参考文献

Category:类型论