Version 6 (modified by john@…, 9 years ago) (diff)


These are features which we might want to consider for removal or replacement with something better/cleaner.

  • n + k patterns For removal: we have been saying it will happen for a while now, we should make good on it.
  • ~ patterns For removal: can be simulated with 'where' or 'let' clauses Against removal: fine control of strictness can require careful placement of these and let/where would obscure what is happening and get very verbose with nested ~ patterns
  • the monomorphism restriction
  • classes (no really, there are people who advocate this!)
  • the Prelude (or at least, seriously trim it to the minimum possible)
  • defaulting
  • class contexts on data definitions
  • record syntax