Changes between Version 166 and Version 167 of Commentary


Ignore:
Timestamp:
Oct 22, 2011 9:21:42 AM (4 years ago)
Author:
batterseapower
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v166 v167  
    6767   * [wiki:DataParallel DPH]: Notes about the implementation of Data Parallel Haskell
    6868   * [wiki:SafeHaskell Safe Haskell]: The design of the GHC Safe Haskell extension
    69    
     69   * [wiki:SQLLikeComprehensions SQL-Like Comprehensions]: Notes on SPJs "Comprehensive Comprehensions" (TransformComprehensions)
     70   * [wiki:KindFact A kind for facts (e.g. class constraints). Implemented as ConstraintKinds]
     71
    7072 * Notes on proposed or in progress (but out of tree) GHC compiler features:
    7173   * [wiki:Records Simple records]
     
    7375   * [wiki:PackageLanguage A modular package language for Haskell] Scott Kilpatrick and Derek Dreyer are designing a new “package language” for Haskell in the style of the ML module system.
    7476   * [wiki:PatternSynonyms Pattern synonyms]
    75    * [wiki:SQLLikeComprehensions SQL-Like Comprehensions]: Notes on the ongoing implementation of SPJs "Comprehensive Comprehensions".
    7677   * [wiki:TypeNats Type level naturals]
    7778   * [wiki:GhcKinds Kind level]: Notes on the theory, design and implementation of a kind level by promotion of data types.
    78    * [wiki:KindFact Proposal to add a kind for facts, e.g. class constraints]
    7979   * [wiki:PolymorphicDynamic Polymorphic Dynamic]: Notes on adding ad-hoc polymorphic dynamic types
    8080   * [wiki:DefaultSuperclassInstances Proposal to allow classes to give default implementations for their superclasses]