... | ... | @@ -6,8 +6,10 @@ GHC 7.10.1 was released in March this year, shipping several major improvements, |
|
|
## Major changes in GHC 7.10.1
|
|
|
|
|
|
|
|
|
|
|
|
When we shipped GHC 7.10, we incorporated some major new features - but not without some major decision making, it turns out. These included:
|
|
|
|
|
|
|
|
|
- **Making Applicative a superclass of Monad** - Yes, finally!
|
|
|
|
|
|
- **Generalizing Prelude operators** [\[Prelude710](prelude710)\]. Known in various circles as 'The Burning-Bridges Proposal' (BBP), 'The Foldable Traversable Proposal' (FTP), this proposal offered to generalize many `Prelude` operations to functions in `Data.Traversable` and `Data.Foldable`. However, this plan stirred up a relatively large amount of debate regarding deviations from the standard, communicating plans, and the implications will be. In the end, Simon Peyton Jones and Simon Marlow [ sought feedback from the community](https://mail.haskell.org/pipermail/libraries/2015-February/024925.html), and ended up [ making a final decision](https://mail.haskell.org/pipermail/libraries/2015-February/025009.html) in February, after hundreds of input votes from the community, and decided to move forward with the plan.
|
... | ... | @@ -31,10 +33,13 @@ When we shipped GHC 7.10, we incorporated some major new features - but not with |
|
|
# Upcoming plans for the next release
|
|
|
|
|
|
|
|
|
|
|
|
The current plan is to steam forward to the end of the year, and begin to get ready for a new release, probably in February of 2016. We have some tentative plans marked below - and some of them are huge! In particular - we may ship GHC 8.0 next year, if we're going to change the entire Core language!
|
|
|
|
|
|
|
|
|
## Libraries, source language, type system
|
|
|
|
|
|
|
|
|
- **Signature sections**. Lennart Augustsson is implementing `(:: ty)` to work the same as `(\x -> x :: ty)`. FIXME is there a ticket for this?
|
|
|
|
|
|
- **ApplicativeDo** [\[ApplicativeDo](applicative-do)\]. Now that `Applicative` is a superclass of `Monad`, Simon Marlow has implemented a new extension for GHC, which will allow `do` notation to be used in the context of `Applicative`, not just `Monad`. The patch for review is available at [ https://phabricator.haskell.org/D729](https://phabricator.haskell.org/D729), and Simon Marlow believes it's ready for review and merge.
|
... | ... | @@ -72,6 +77,7 @@ The current plan is to steam forward to the end of the year, and begin to get re |
|
|
|
|
|
# References
|
|
|
|
|
|
|
|
|
- \[[ApiAnnotations](api-annotations)\] [ https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations](https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations)
|
|
|
- \[[ApplicativeDo](applicative-do)\] [ https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo](https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo)
|
|
|
- \[Backpack\] TODO FIXME
|
... | ... | |