class Function ?

Ashley Yakeley ashley@semantic.org
Tue, 29 Oct 2002 00:10:09 -0800


At 2002-10-28 22:41, Nick Name wrote:

>The only thing that should be done is to invent a special name for the
>juxtaposition operator (or just to use $), and to let (->) become an
>instance of the "Function" class.

I think function application has to be primitive and not an operator. 
Otherwise you would end up with this:

f a
 is syntactic sugar for
f `juxtapose` a
 is syntactic sugar for
(juxtapose f) a
 is syntactic sugar for
(juxtapose ((juxtapose juxtapose) f)) a
 is syntactic sugar for
(juxtapose ((juxtapose juxtapose) ((juxtapose ((juxtapose juxtapose) 
juxtapose)) f))) a
etc.


-- 
Ashley Yakeley, Seattle WA