Changes between Version 15 and Version 16 of ExplicitForall


Ignore:
Timestamp:
Nov 20, 2010 12:17:25 AM (5 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.