A Pointless Library Proposal

Simon Peyton-Jones simonpj at microsoft.com
Mon Oct 30 09:54:39 EST 2006

| I don't like this idea because the necessary stub is different for
| numbers of arguments, and there's no way to tell how many arguments
| programmer intended. 

Why?  What's wrong with expanding
	foo :: Int -> Int -> Int
	foo :: Int -> Int -> Int
	foo = error "foo is not yet implemented"

which is what I usually write by hand.

|I do like the idea of allowing empty case expressions,
| though, and I don't think that even a warning would be necessary.

So how would you define foo?  How would it be better than the above
(even if written by hand)? 


More information about the Libraries mailing list