🚀 go-pugleaf

In article  <2235@opal.cs.tu-berlin.de> Wolfgang Grieskamp writes:
]
]If a functions semantic maps D->D, then the rare case 
]is that it maps also D/bottom->D/bottom. In fact i have problems 
]to imagine meaningful functions except identity which behave like this. 

I'm not sure I understand this.  It sounds like you are talking about
functions that are strict in bottom (that is, if they are given bottom
as an argument, they produce bottom as a result).  If so, then there
are hoards of natural functions that meet this criteria.  Most
arithmetic functions for example.  In fact, this case is so common
that some languages have only _one_ builtin function that is not
strict (if-then-else).  And many languages do not allow the programmer
to define new non-strict functions, since they evaluate the arguments
before they call the function.
-- 
					David Gudeman
Department of Computer Science
The University of Arizona        gudeman@cs.arizona.edu
Tucson, AZ 85721                 noao!arizona!gudeman