- From: Philip Wadler <wadler@research.avayalabs.com>
- Date: Mon, 06 May 2002 17:18:16 -0400
- To: scott_boag@us.ibm.com
- cc: spec-prod@w3.org, w3c-query-editors@w3.org, www-qa@w3.org
Scott,
Can you explain what you mean by "testable assertion"?
Can you relate your proposal to the XQuery formal semantics?
It seems to me that many of the issues being raised ("you want a
specification, not just a vague collection of words") are also
addressed by formal semantics. (See quote in sig below.)
Cheers, -- P
-----------------------------------------------------------------------
Philip Wadler wadler@avaya.com
Avaya Labs http://www.research.avayalabs.com/user/wadler/
233 Mount Airy Road, room 2C05 office: +1 908 696 5137
Basking Ridge, NJ 07920 fax: +1 908 696 5402
USA home: +1 908 626 9252
cell: +1 908 872 4436
-----------------------------------------------------------------------
"When a Mathematical Reasoning can be had it's as great a folly to make
use of any other, as to grope for a thing in the dark, when you have a
Candle standing by you." -- John Arbuthnot, 1692
-----------------------------------------------------------------------
Received on Monday, 6 May 2002 17:18:24 UTC