Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
ambitious proposal: polymorphic arithmetics
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-04-06 (18:50)
From: Eijiro Sumii <eijiro_sumii@a...>
Subject: Re: [Caml-list] ambitious proposal: polymorphic arithmetics
Thanks to everybody for the excitements!:-)

From: "William Lovas" <>
> Many experts (and perhaps some novices *shrug*) think that polymorphic
> equality is a bad idea...

I'm almost tempted to agree.:-) As other responses have also
suggested, the issue seems to be "where to draw the line."  If so, I
can perhaps restate my question as: why is the line drawn between =
and + now?  Is it the best?