Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Eijiro Sumii <eijiro_sumii@a...>
Subject: Re: [Caml-list] ambitious proposal: polymorphic arithmetics
Thanks to everybody for the excitements!:-)

From: "William Lovas" <wlovas@stwing.upenn.edu>
> 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?

	Eijiro