CSE 341 Spring 2015 : Unit 2


Unit 2 Reading


Pieces of a Language

Building Compound Types


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


Tail Recursion

Accumulators for Tail Recursion

Perspective on Tail Recursion

341 Main