Edit

Functors

Introduction

See Introduction to Functors.

Good documentation on the module system and functors is given here:

• The module system
• Destructive substitution

Discussion of how functors don’t scale that well (pdf)