- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Mon, 24 Sep 2007 23:12:58 -0400
- To: Sandro Hawke <sandro@w3.org>
- Cc: public-rif-wg@w3.org
> One of the parts that's really hard for me is the distinction between
> signature names, signatures, and signature expressions. I can't really
> keep them straight.
Maybe you can explain what you find to be the problem in more detail?
I do not quite understand why is it hard to see the difference between a
set and a name given to that set. You do not find it hard to understand the
distinction between the term 'integer' and the set {0, 1, -1, 2, -2, ...}.
So what is so hard about the difference between, say, the symbol 'foobar'
and a set like {i*i->i, i*i*i->bool}, which it might be denoting?
--michael
Received on Tuesday, 25 September 2007 03:13:12 UTC