Changes between Version 15 and Version 16 of ExplicitForall
- Timestamp:
- 11/19/10 16:17:25 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ExplicitForall
v15 v16 36 36 It does not allow the use of explicitly polymorphic types in any way 37 37 not 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. 38 49 39 50 == Report Delta == … … 415 426 416 427 [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.
