For convenience it is would be useful to apply rule automatically to single objects or list of objects.

Asked by Sven Stork on 15 January 2013 at 23:18

You can automatically apply rules using the map function for lists. The following example shows how to enable automatic type computation of lists by overloading the type-of rule:

type-of = map(type-of)

Answered by Sven Stork on 15 January 2013 at 23:19