CSE 341 Spring 2015 : Unit 4


Unit 4 Reading


Unit Introduction

Modules for Namespace Management

Signatures and Hiding Things

A Module Example

Signatures for Our Example

Signature Matching

An Equivalent Structure

Another Equivalent Structure

Different Modules Define Different Types

What is Type Inference

ML Type Inference

Type Inference Examples

Polymorphic Examples

Optional: The Value Restriction and Other Type-Inference Challenges

Mutual Recursion

Equivalent Functions

Standard Equivalences

Equivalence Versus Performance

341 Main