Python from Wise Guy's Viewpoint

[Ed Avis]

prunesquallor at comcast.net writes:

>What would you like to call those `syntactic constructs' that do not
>currently type check in Haskell, yet *may* belong to a class of
>syntactic constructs that *could* conceivably be type checked in a
>successor to Haskell that has a better type inferencing engine?

Well of course, if you program in a different language you'd need a
different type checking system.

-- 
Ed Avis <ed at membled.com>