Changes between Version 15 and Version 16 of ExplicitForall


Ignore:
Timestamp:
Nov 20, 2010 12:17:25 AM (3 years ago)
Author:
igloo
Comment:

Just moved pros/cons

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v15 v16  
    3636It does not allow the use of explicitly polymorphic types in any way 
    3737not already allowed by Haskell 98 for implicitly polymorphic types. 
     38 
     39== Pros == 
     40 
     41 * Small and simple syntactic extension. 
     42 * Simplifies the later inclusion of semantic extensions that depend on it, e.g. Rank2Types. 
     43 * Easy to implement in tools that don't yet support the semantic extensions. 
     44 * The Report already mentions types using the explicit forall-quantified form, so only the grammar changes above are needed. 
     45 
     46== Cons == 
     47 
     48 * A small and incremental extension with little value of its own, only serving as a stepping stone for the various semantic extensions. 
    3849 
    3950== Report Delta == 
     
    415426 
    416427[http://www.haskell.org/pipermail/haskell-prime/2009-June/002786.html] 
    417  
    418 == Pros == 
    419  
    420  * Small and simple syntactic extension. 
    421  * Simplifies the later inclusion of semantic extensions that depend on it, e.g. Rank2Types. 
    422  * Easy to implement in tools that don't yet support the semantic extensions. 
    423  * The Report already mentions types using the explicit forall-quantified form, so only the grammar changes above are needed. 
    424  
    425 == Cons == 
    426  
    427  * A small and incremental extension with little value of its own, only serving as a stepping stone for the various semantic extensions.