Module 7 Flash Cards

Front 1

Base Types

Back 1

Int, bool, and unit and compound types.

Front 2

Compound Types

Back 2

types that contain other types in their definition.

Front 3

"each of" compound type

Back 3

A compound type t describes values that contain each of values of type t1, t2, ..., and tn

Front 4

"One of" compund type

Back 4

A compound type t describes values that contain a value of one of the types t1, t2, ..., or tn.

Front 5

"self reference" compound type

Back 5

A compound type t may refer to itself in its definition in order to describe recursive data structures like lists and trees.

Front 6

Record types

Back 6

“each-of” types where each component is a named field

Front 7

record expression (syntax, type-checking, evaluation)

Back 7

Syntax:{foo : int, bar : int*bool, baz : bool*int}

Type-Checking:can have type {foo : int, bar : int*bool, baz : bool*int} because the order of fields never matters

Evaluation: the expression {bar = (1+2,true andalso true), foo = 3+4, baz = (false,9) } would evaluate to the record value {bar = (3,true), foo = 7, baz = (false,9)}

Front 8

By Names

Back 8

records we build them and access their pieces by using field names

Front 9

by position

Back 9

position (first, second, third, ...) to distinguish the components.

Front 10

Syntatic sugar

Back 10

we can describe everything about tuples in terms of equivalent record syntax. It issugar because it makes the language sweeter.