On Sat, Nov 21, 2009 at 21:08 Felipe Lessa wrote:
> Most definitions, if not all, are just the corresponding free theorems
> (meaning roughly that the definition follows from the type
> because that's the only definition that doesn't have
> undefined's).
Question: Is it correct to paraphrase Felipe's description as follows:
In Haskell the *term theorems for free* means roughly that the
definition of a class, instance or a function follows from the supplied
types because they are the only types that don’t have undefined argumens
or undefined return types.
Regards,
Pat