Concept:Basic data modeling in Haskell
== Headline ==
Lecture "Basic data modeling in Haskell" as part of [[Course:Lambdas in Koblenz]]
== Details ==
Basic concepts of data modeling in Haskell are covered. One important aspect of data modeling is the choice between [[structural typing|]]
versus [[nominal typing]]. This distinction gives rise to Haskell's [[type synonym]]s, [[algebraic data type]]s, and [[record type]]s. These options
are conveniently illustrated with different data models for the [[@system]]. Another important aspect is the choice between different modeling options
for recursive data structures, specifically the use of [[data composition]] and [[data variation]]. These options map to certain idioms of using
algebraic data types in Haskell. These options are conveniently illustrated with different data models for the [[@system]], when departmental nesting
is taken into account.
== Concepts ==
* [[Structural typing]]
* [[Type synonym]]
* [[Nominal typing]]
* [[Algebraic data type]]
* [[Data constructor]]
* [[Constructor component]]
* [[Record type]]
* [[Newtype]]