[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Specification

This page is part of the web mail archives of SRFI 93 from before July 7th, 2015. The new archives for SRFI 93 contain all messages, not just those from before July 7th, 2015.

On Mon, 26 Jun 2006, David Feuer wrote:

On 6/26/06, Andre van Tonder <andre@xxxxxxxxxxxxxxxxx> wrote:

I like the operational semantics in the SRFI, since it may be less ambiguous
than the alternative declarative approach.

I think the trick is to make an unambiguous declarative specification.

That is not an easy trick... I'm not saying it is impossible, but conceivably the most reliable description of what this algorithm achieves may
be the statement of the algorithm itself.

If the specification does keep the operational approach, it would be nice, in my view, if the Waddell algebra could be updated for R6RS and included as part of the specification.