0-ary lambda

• From: Andreas Strotmann <andreas.strotmann@ualberta.ca>
• Date: Sat, 06 Jun 2009 12:10:22 -0600
• To: David Carlisle <davidc@nag.co.uk>
• CC: www-math@w3.org
• Message-ID: <4A2AB10E.6020905@ualberta.ca>

In MathML2 (4.2.1.7), lambda can explicitly be used with zero bvar
elements to construct a 0-ary function (like random() or timerightnow()).

The current spec of MathML3 requires at least one bvar child for lambda
- this needs to be fixed in a number of places.

This means that the transformation rule for lambda to "strict" MathML is
broken as-is in the case of 0-ary lambda, as there is no bvar in the
resulting apply to trigger binding.

Received on Saturday, 6 June 2009 18:11:08 UTC