CSE 341 Spring 2015 : Unit 2

Notes

Unit 2 Reading

Videos

Pieces of a Language

Building Compound Types

Records

Tuples as Syntactic Sugar

Datatype Bindings

Case Expressions

Useful Datatypes

Pattern Matching So Far

Another Expression Example

Type Synonyms

Lists and Options are Datatypes

Polymorphic Datatypes

Each of Pattern Matching / Truth About Functions

A Little Type Inference

Polymorphic and Equality Types

Nested Patterns

More Nested Patterns

Nested Patterns Precisely

Optional: Function Patterns

Exceptions

Tail Recursion

Accumulators for Tail Recursion

Perspective on Tail Recursion


341 Main