[PRL] annoying types ARGH!

Paul A. Steckler steck at stecksoft.com
Thu May 12 21:25:38 EDT 2005


> > Well, I would guess that leaving out the "." after the +,-,* would
> > cause most of those.
> 
> Correct. They bubble thru and trigger others.

Of course, Standard ML overloads +, -, etc. but in 
a pretty ad hoc way.  You avoid this problem at 
the cost of orthogonality.

Haskell's typeclasses overload them in a more 
principled way:

 (+) :: forall a. (Num a) => a -> a -> a

And as I understand it, Mike Sperber wants something 
more like OCaml's operators for Scheme!

-- Paul



More information about the PRL mailing list