- From: Sandro Hawke <sandro@w3.org>
- Date: Tue, 28 Apr 2009 00:13:02 -0400
- To: public-rif-wg@w3.org
I put the list builtins into DTB.
http://www.w3.org/2005/rules/wiki/DTB#Functions_and_Predicates_on_RIF_Lists
Most of them have some examples. All the examples work in my list
handling code (which is really quite trivial -- I didn't implement
collations, which would complicate things slightly, though not very
much).
I didn't try to describe the domains, or formally describe the mapping
yet. I'd love an example to work from --- it's not a kind of language
I'm comfortable with.
I made some design decisions where necessary and added deep-equal back
in (since datatype equality is usefully different from value-space
equality). Obviously we can talk about any of those....
- Sandro
Received on Tuesday, 28 April 2009 04:13:11 UTC