[Haskell-cafe] Re: Comments from OCaml Hacker Brian Hurt

Ertugrul Soeylemez es at ertes.de
Sun Jan 18 01:01:37 EST 2009

Andrew Coppin <andrewcoppin at btinternet.com> wrote:

> I would suggest that ExistentiallyQuantifiedTypeVariables would be an
> improvement [...]

That must be a joke.  Typing the long extension names in LANGUAGE
pragmas over and over again is tiring and annoying enough already.  We
really don't need even longer names, and your "improvement" fills up
almost half of the width of an 80 characters terminal.

I can't await the next Haskell standard, where at last all those
extensions are builtin.  For the remaining extensions, I strongly
suggest abbreviations and a more convenient way to specify them.  For
example an import-like statement:

  uses MPTC
  uses FlexInst

instead of:

  {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}


nightmare = unsafePerformIO (getWrongWife >>= sex)

More information about the Haskell-Cafe mailing list