Changes between Version 166 and Version 167 of Commentary


Ignore:
Timestamp:
Oct 22, 2011 9:21:42 AM (2 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]