The monoid comprehension calculus
Keywords: main

Next: Multidimensional arrays as functions Up: Monoid homomorphisms and comprehensions Previous: Monoid comprehensions

###
The monoid comprehension calculus

We are now in a position to propose a programming calculus using monoid comprehensions. Figure 1 defines an abstract grammar for an expression e of the Monoid Comprehension Calculus and amounts to adding comprehensions to an extended Typed Polymorphic -Calculus. Figure 2 gives the typing rules for this calculus.

Figure 1: The monoid comprehension calculus

Figure 2: Typing rules for the Monoid Comprehension Calculus