class Function ?

[Ashley Yakeley]

At 2002-10-29 02:43, Josef Svenningsson wrote:

>> I'm pretty sure it's not possible...
>>
>You mean in H98? Sure no! What I meant was to implement overloading of
>function application as an extension of H98.

See my earlier message. If function application is overloadable, then 
there must be some operator "funapp" that corresponds to it. But 
operators themselves need function application, 
so you end up with:

f a 
 reduces to
funapp f a
 reduces to
funapp (funapp (funapp f)) a
 reduces to
etc.

-- 
Ashley Yakeley, Seattle WA