GHC 6.4

New feature: Generalized algebraic datatypes (GADTs)

This release comes with version 1.0 of the stm library, the first appearance of software transactional memory (STM) as described in Composable memory transactions.

This version expands upon the scoped type variablesScoped type variables in GHC 6.4 feature previously introduced in GHC 4.02.

  • Declaration type signatures that use the forall keyword can now bind type variables over the scope of the corresponding definition.

This is the first version of GHC to include Cabal.Cabal in GHC 6.4

The OPTIONS pragma was renamed to OPTIONS_GHC.

Changes to Template Haskell (first introduced in GHC 6.0):

  • The API moved from the haskell-src package into a new package called template-haskell.
  • The Language.Haskell.THSyntax moduleLanguage.Haskell.TH.Syntax in GHC 6.4 was renamed to Language.Haskell.TH.Syntax.

Join Type Classes for courses and projects to get you started and make you an expert in FP with Haskell.