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