Fachkonzept - Datentyp

Datentypen

Elm benutzt - wie viele andere Programmiersprachen auch - Datentypen, um unterschiedlich zu verarbeitende Daten zu klassifizieren.

Datentypen - eine Übersicht

Die folgende Tabelle listet wichtige Datentypen und ihre Darstellung in Elm auf. Beachte, dass es weitere Datentypen zur Darstellung von Daten gibt. Wir werden sie nach Bedarf in den weiteren Abschnitten einführen.

Typvariablen

Manchen Sprachen - wie z.B. auch Elm - nutzen das Konzept von Typvariablen. Typvariablen können an Stellen erscheinen, an denen man ansonsten konkrete Datentypen erwarten würde. In Elm gibt es die vordefinierten Typvariablen number und appendable. Beachte, dass Typvariablen im Gegensatz zu Datentypen klein geschrieben werden. An die Stelle von number können die Datentypen Int und Float treten, an die Stelle von appendable können die Datentypen String und List (Datentyp für Listen, den wir später noch genau kennen lernen) treten.

Explizite Typangaben

Elm erschließt sich anhand des Kontextes die Datentypen selbst. Man kann aber auch Datentypen explizit angeben.

> zahl1 = 5 -- Datentyp kann nicht klar bestimmt werden
5 : number
> zahl2 : Int -- Explizite Angabe des Datentyps
| zahl2 = 5
|
5 : Int
> zahl3 : Int -- Ergibt Fehler, da man sich nicht an die eigene Vorgabe hält
| zahl3 = 5.1
|
-- TYPE MISMATCH ---------------------------------------------------------- REPL

Something is off with the body of the `zahl3` definition:

9| zahl3 = 5.1
           ^^^
The body is a float of type:

    Float

But the type annotation on `zahl3` says it should be:

    Int

Note: Read <https://elm-lang.org/0.19.1/implicit-casts> to learn why Elm does
not implicitly convert Ints to Floats. Use toFloat and round to do explicit
conversions.