Примеры are

• Assume there are eight electoral districts with three voters each.

• In such situations there are minimal incentives for strategic voting and maximal for sincere voting.

• Slots are initialized with their default value unless a user value is specified.

• No memory is allocated for width and height, as their values are computed each time they are accessed.

• The template instantiator and the prettyprinter are reusable components.

• From now on terms of the -calculus are considered module -equivalence.

• Indeed, we are currently working on adding just such syntactic sugar: lambdas, let-bindings, donotation for monads, etc.

• The programs are faithful translations of each other, in that they each represent the same solution to the given problem.