Next: Then Up: New Features in LEGO Version 1.3 Previous: Relaxed Patterns and Inductive Types

LEGO Version 1.3's Computation and Rewrite Rules


Object level computation in the new version of LEGO behaves differently than in older versions. To explain the new version, let's consider the design goals of LEGO evaluation.

LEGO is a normal order programming language. There are two reasons for this: to preserve "feasibility" and to be as "intensional" as possible. Both of these points need explanation.

Keeping these design goals in mind, we now consider pattern updating.


Last modified: Tue Jun 23 16:48:14 BST 1998