Re: Overloaded unification

On Jan 27, 8:34 am, rossb...@[EMAIL PROTECTED]
 wrote:
....
> AFAICS, that's possible with multi-parameter type cl*****. ...

Andreas, thank you!  I'll look into this further.

> On the other hand, I don't see why anybody in his sane mind would ever
> want to have something that ad-hoc

This example arises because the strongly preferred single
special character for infix indexing is '@[EMAIL PROTECTED]
'.  IMO, it was a
mistake to use up this symbol for list append.  Probably '^^'
would have been better.

Of course, with a new language (Kamiaken), even if only a
slight variant on SML, one could always provide a translator
SML ~~> Kamiaken
to avoid this particular problem.  However, it provides an
easily understood example of ad-hoc polymorphism, which
Kamaiken is to provide in some form or other.  Once provided,
I cannot control how badly it will be misused.