[Jprogramming] Different results?

Miller, Raul D rdmiller at usatoday.com
Mon Jan 23 03:34:35 HKT 2006


Roger Hui wrote:
> f at g"_ and f@:(g"_) need not be the same even if 
> f and g are rank 0.

Good point.

I think there's a name for "rank 0 verbs which
have rank 0 results", but I'm drawing a blank 
at the moment on what that name is.  If it's 
"atomic" I'm a little concerned about ambiguity
(because of the whole ACID set of concepts from
database programming).

Maybe there should instead by a name for verbs
where the shape of the verb's result does not vary 
over its domain?  Or maybe there is a name for
this concept and I'm just not remembering it?

Thanks,

-- 
Raul



More information about the Programming mailing list