
5 Aug
2010
5 Aug
'10
6:21 a.m.
Yes, for instance to be able to use functions as number.
Or to be able to use constructive real numbers as numbers, since
equality is not computable.
-- Lennart
On Thu, Aug 5, 2010 at 4:17 AM, Ivan Lazar Miljenovic
On 5 August 2010 10:15, Lennart Augustsson
wrote: You're right. It's bad to have toRational in Real. It's also bad to have Show and Eq as superclasses to Num.
I understand why it's bad to have Show as a superclass, but why Eq? Because it stops you from using functions as numbers, etc. ?
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com