next up previous
Next: Implementation Up: The Language Previous: Logical VariablesFeature

Paradigm composition

While a multiparadigm language is often attractive in concept, to make it practical there must be a consistent method for combining different paradigms in an application. Depending on the paradigms in question, this may have a large effect on the feasibility of this mixing. In general, the main difficulties are: (1) combining the execution models, and (2) combining the data structures, introduced in various constructs.

In Prop , this challenge of mixing paradigms is met in a number of ways:

Allen Leung
Wed Mar 6 20:55:43 EST 1996