Browse thread
ambitious proposal: polymorphic arithmetics
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 |
From: Christophe TROESTLER <debian00@tiscali.be> > But if 1 + 1.2 is going to throw an exception, this is far far worse > (simple typing mistakes will now "crash" the program!!!). It doesn't, just as "1 = 1.2" doesn't - they are both compile-time errors. > In summary (since the opened the Pandora box), it would be nice if a > solution would be found to this "problem" but, let's go for a general > and useful one, not an had-oc one. :) I agree my proposal is ad hoc - and a better solution would be better, if possible!:-) Eijiro