[Haskell-cafe] PatternSignatures (rant)

[Joachim Breitner]

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
never:
https://github.com/ghc-proposals/ghc-proposals/pull/119

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

Cheers,
Joachim


-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.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>