A Pointless Library Proposal
robdockins at fastmail.fm
Mon Oct 30 09:59:30 EST 2006
On Oct 30, 2006, at 9:38 AM, Ben Rudiak-Gould wrote:
> Simon Peyton-Jones wrote:
>> I've occasionally wondered about emitting a warning, but not an
>> when there's a type signature for a function but no definition. The
>> compiler could automatically generate an error message stub
>> implementation, much as it does for an incomplete pattern match, of
>> which this is an extreme example.
> I don't like this idea because the necessary stub is different for
> different numbers of arguments, and there's no way to tell how many
> arguments the programmer intended. I do like the idea of allowing
> empty case expressions, though, and I don't think that even a
> warning would be necessary.
> -- Ben
Speak softly and drive a Sherman tank.
Laugh hard; it's a long way to the bank.
More information about the Libraries