[Haskell-cafe] PatternSignatures (rant)

[Johannes Waldmann]

Dear all, (this is a rant - please ignore)

why has "PatternSignatures"
been renamed to "ScopedTypeVariables" (in ghc-6.10)?

show me the alleged "type variable" in this code:
do x :: Int <- [ 1 .. 10 ] ; return $ x^2

and why on earth do I need to use a language extension at all
to get to the most basic thing of declarative programming:
to declare the type of an identifier?

This seriously hurts (me, at least) when teaching Haskell.

Thanks - J.W.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090408/612baf51/signature.bin