Hello,

> > Looking at the Google results, operator overloading has come up 
> > as a frequently discussed topic.  Still I didn't find anything 
> > very useful in the posts that Google brought up.  Can anyone 
> > recommend a way to work around OCaml's lack of operator overloading
> > when dealing with matrices, vectors, and spinors?  Is there a 
> > way to implement this with ocamlp4?
> 
> As already someone has mentioned, you can try G'Caml: O'Caml with
> Extensional Polymorphism Extension. You can overload values
> over identifiers (including constants and operators),
> in the style of the pattern matching on types. Its experimental
> implementation is found at 
> 
>    http://pauillac.inria.fr/~furuse/generics/
> 
> Regards,
> --------------------------------------------------------------
> ---------
> Jun P. Furuse 					 
> Jun.Furuse@inria.fr
> 

This looks like a very useful variant of OCaml.  Are there any plans
to merge it with the main OCaml source after the bugs are worked out?

Cheers,
Issac Trotts
Programmer
Idol Minds




-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners