> > > > 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. >
Don't forget that source code is not only written for computers, but also for humans. The type signature often serves as a compiler checked documentation. Regards, Ingo -- 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.
