Elm (プログラミング言語)
Elmは静的型付けである。すべての定義にはその値を正確に表現する型注釈をつけることができる。型には以下が含まれる。
整数や文字列などのプリミティブ型
リストやタプル・拡張レコードなどの基本的なデータ構造
タグ付きユニオンと呼ばれるカスタム型
Elm は完全な型推論をもサポートしており、コンパイラは型注釈なしに型安全かどうかを判定できる。