Re: The dreaded M-R

Johannes Waldmann wrote:

(entering ironic mode, but not quite:)

So, what about making type signatures mandatory, as the rest of the civilized world does happily for decades ...

If that's a serious proposal, then I'll argue against it--but do we really want to raise that question? One of the strengths of Haskell is that it supports both implicit and explicit typing well. John