You may want to restrict your API to a more specific type and Frege will respect that. It doesn't allow you to announce a more general type, though.
sent from: mobile > Am 07.10.2016 um 17:38 schrieb Russel Winder <rus...@winder.org.uk>: > >> 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. -- 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.
