... | ... | @@ -4,7 +4,13 @@ |
|
|
In 2013, two proposals passed through the libraries@ process. Unlike most proposals before them, these proposals affect types in the Prelude. These are the [ Applicative/Monad Proposal (AMP)](https://wiki.haskell.org/Functor-Applicative-Monad_Proposal) and the [ Foldable/Traversable Proposal (FTP)](https://wiki.haskell.org/Foldable_Traversable_In_Prelude) (also sometimes referred to as the "Burning Bridges Proposal" based on the title of the original thread).
|
|
|
|
|
|
|
|
|
It has recently been highlighted that as these changes affect the Prelude, and thus affect what users of Haskell see out of the box, they should be held to a higher bar than the usual libraries@ traffic. In particular, there was concern that while the [ Applicative/Monad Proposal](https://wiki.haskell.org/Functor-Applicative-Monad_Proposal) was warned about extensively in GHC 7.8, the [ Foldable/Traversable Proposal](https://wiki.haskell.org/Foldable_Traversable_In_Prelude) was not nearly as well broadcast.
|
|
|
This page attempts to address concerns about the Foldable/Traversable Proposal. More information about the current concrete implementation of this proposal is available on the Haskell Wiki at [ Foldable_Traversable_In_Prelude](https://wiki.haskell.org/Foldable_Traversable_In_Prelude).
|
|
|
|
|
|
|
|
|
You can also try it out today, by downloading GHC 7.10RC2.
|
|
|
|
|
|
|
|
|
It has recently been highlighted that as these changes affect the `Prelude`, and thus affect what users of Haskell see out of the box, they should be held to a higher bar than the usual libraries@ traffic. In particular, there was concern that while the [ Applicative/Monad Proposal](https://wiki.haskell.org/Functor-Applicative-Monad_Proposal) was warned about extensively in GHC 7.8, the [ Foldable/Traversable Proposal](https://wiki.haskell.org/Foldable_Traversable_In_Prelude) was not nearly as well broadcast.
|
|
|
|
|
|
|
|
|
However, there are many good reasons to do both the AMP and FTP generalizations at this time.
|
... | ... | |