[Haskell-cafe] PatternSignatures (rant)

Joachim Breitner mail at joachim-breitner.de
Fri Apr 6 18:18:26 UTC 2018

Hi Johannes,

Am Mittwoch, den 08.04.2009, 03:00 +0000 schrieb 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.

I agree, and it has bothered me for quite a while. But better late than

If if this still seriously hurts you, feel free to express your support
in the proposal.


Joachim Breitner
  mail at joachim-breitner.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180406/936c786a/attachment.sig>

More information about the Haskell-Cafe mailing list