25 Oct
2006
25 Oct
'06
12:29 a.m.
On 10/24/06, Russell O'Connor <roconnor@theorem.ca> wrote:
Conor McBride <ctm <at> Cs.Nott.AC.UK> writes:
Elements of Zero are rather special, powerful things.
magic :: Zero -> a magic _ = error "There's magic, as no such thing!"
Why have a function body at all? Shouldn't the type signature be sufficent?
Remember that type signatures need not be adjacent to function definitions. Now ponder what would happen if you forgot to define a function. Have a clue why it isn't sufficient now?