Changes between Version 45 and Version 46 of Status/Oct11

Show
Ignore:
Timestamp:
11/03/11 18:38:38 (19 months ago)
Author:
FSalad
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified

  • Status/Oct11

    v45 v46  
    4747                      | otherwise = y : insert x ys  
    4848}}} 
    49   Here `X` is an associated constraint synonym of the class `Coll`. The key point is that differnet instances can give different definitions to `X`.  The GHC wiki page describes the design [[http://hackage.haskell.org/trac/ghc/wiki/KindFact WikiConstraint]], and Max's blog posts give more examples [[http://blog.omega-prime.co.uk/?p=61 ConstraintFamlies], [http://blog.omega-prime.co.uk/?p=127 ConstraintKind]]. 
     49  Here `X` is an associated constraint synonym of the class `Coll`. The key point is that different instances can give different definitions to `X`.  The GHC wiki page describes the design [[http://hackage.haskell.org/trac/ghc/wiki/KindFact WikiConstraint]], and Max's blog posts give more examples [[http://blog.omega-prime.co.uk/?p=61 ConstraintFamlies], [http://blog.omega-prime.co.uk/?p=127 ConstraintKind]]. 
    5050 
    5151 * '''Associated type synonym defaults.'''  Haskell lets you give a ''default method'' for the operations of a class.