W3C home > Mailing lists > Public > www-math@w3.org > June 2009

0-ary lambda

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:13:05 GMT