许任何值是隐含的可空值（比如JavaScript的codice_10或空指针），Elm的标准库定义了codice_11类型。产生或处理一个可选值的代码不显式的使用这个类型，而所有其他代码得到保证声称了类型的值是实际上存在的。Elm提供有限数目的内建类型类：codice_12，它包括codice_13和codice_14，用来利用数值算符比如codice_15或codice_16；codice_17，它包括数值、字符、字符串、可比较者的列表和可比较者的元组，用来利用比较算符；和codice_18，它包括字