A Pointless Library Proposal

Samuel Bronson naesten at gmail.com
Tue Oct 24 20:29:38 EDT 2006

On 10/24/06, Russell O'Connor <roconnor at 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?

More information about the Libraries mailing list