Python from Wise Guy's Viewpoint

[Ed Avis]

prunesquallor at comcast.net writes:

>>My original point was that the type-checker won't reject programs
>>which are valid Haskell, so it makes no sense to talk about the
>>checker being too strict or not allowing enough flexibility.
>
>So any program that currently runs on Haskell will run on the very
>first version of Haskell?

I should have said 'Haskell 98' and 'a type-checker in a working
Haskell 98 implementation'.

The same applies to any language, of course - Haskell 98 is just an
example.  What I mean is don't shoot the messenger if the type checker
tells you your program is invalid.  You might however want to change
to a different language (such as a later version of Haskell, or one
with nonstandard extensions) where your program is valid (and of
course the typechecker for that implementation will be happy).

-- 
Ed Avis <ed at membled.com>