On Fri, 2016-10-07 at 17:22 +0200, Dierk König wrote: > I assume your implementation requires division and therefore Real. > Frege is not easily fooled :-)
And indeed addition. I think this is the point. If the type inference system is so good, and as shown here humans invariably get it wrong, why is the idiom to have user specified signature, when the inferred one is generally better. -- Russel. ============================================================================= Dr Russel Winder t: +44 20 7585 2200 voip: sip:russel.win...@ekiga.net 41 Buckmaster Road m: +44 7770 465 077 xmpp: rus...@winder.org.uk London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: This is a digitally signed message part
