论）但强烈鼓励。标注存在于定义之上的一行（不同于C家族语言，这里的类型和名字是夹杂在一起的）。Elm使用单一的冒号表达“拥有类型”。类型包括原始类型如整数和字符串，和基本数据结构比如列表、元组和记录。函数拥有用箭头写成的类型，例如codice_4。定制类型允许编程者建立定制类型，以匹配特定问题领域的方式来表示数据。类型可以推论出其他类型，例如codice_5。类型总是首字母大写；小写名字是类型变量。例如，codice_6是未知类型的值的列表。它是空列表和给codice_7的实际参数的类型，对于这个列