λ
0.1 - Setup 1.0 - Values 1.1 - Let expressions 1.2 - Basic data types 1.3 - Built-in data structures 1.4 - Functions 1.5 - Fun with Functions 1.6 - Modules 1.7 - Module Signatures 1.8 - Signatures, continued 1.9 - Functors 1.10 - Defining data types 1.11 - Recursive types 2.0 - Pattern matching 2.1 - Exhaustivity checking 2.2 - Value deconstruction 2.3 - Pattern matching in functions 2.4 - Conditional expressions 2.5 - Recursion 2.6 - Higher order functions 2.7 - Infinite loops 2.8 - Chaining expressions for side effects 2.9 - Mutable references 2.10 - While loops 3.0 - Concurrent ML Introduction 3.1 - Spawning a light-weight thread 3.2 - Channels 3.3 - Select 3.4 - Mailboxes 3.5 - IVars 3.6 - MVars 0.0 - Welcome

1.10: Defining data types

Type aliases may be defined using the type keyword.

New data types may be declared using the datatype keyword.

major_arcana_card declares a type, major_arcana_card, which is a pair of a name and number.

Data types may consist of multiple, exclusive cases. card_suit declares one type with four values, and card_value declares one type with fourteen values.

(* examples/new-data-types.sml *)