24 Oct
2006
24 Oct
'06
8:29 p.m.
On 10/24/06, Russell O'Connor
Conor McBride
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?