Changes between Version 31 and Version 32 of Status'


Ignore:
Timestamp:
Sep 17, 2006 1:11:32 AM (8 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v31 v32  
    1919== Class system ==  
    2020 
    21 The work on the class system has focused on resolving the MultiParamTypeClassesDilemma.  
     21The work on the class system has focused on resolving the MultiParamTypeClassesDilemma. The core of the dilemma is that multi-parameter typeclasses are a popular extension 
     22that are strongly desired in Haskell'. However, many important uses of MPTCs (like the monad transformer library) require additional extensions to resolve ambiguities in their typechecking. Historically, FunctionalDependecies have been used for this purpose, but they are very tricky to implement and are also difficult to specify in a way that 
     23guarantees the termination of typechecking. AssociatedTypes are a possible replacement, but they have not yet been completely implemented in any Haskell implementation. 
    2224 
    2325== Libraries ==