FunctorApplicativeMonad Proposal
From HaskellWiki
m (→Beginner friendliness: Markdown > Wiki markup: *x* to ''x'') 
(→Futureproofing current code) 

(7 intermediate revisions by 5 users not shown)  
Line 1:  Line 1:  
−  Haskell calls a couple of historical accidents its own. While some of them, such as the "number classes" hierarchy, can be justified by pragmatism or lack of a strictly better suggestion, there is one thing that  +  Haskell calls a couple of historical accidents its own. While some of them, such as the "number classes" hierarchy, can be justified by pragmatism or lack of a strictly better suggestion, there is one thing that stood out as, well, not that: Applicative not being a superclass of Monad. 
−  The topic has been discussed multiple times in the past (cf. link section at the very end). '''This article  +  The topic has been discussed multiple times in the past (cf. link section at the very end). '''This article describes the Haskell 2014 Applicative => Monad proposal (AMP)''', which was then implemented in GHC 7.10. 
Some relevant links:  Some relevant links:  
* [https://github.com/quchen/articles/blob/master/applicative_monad.md Initial text of the Haskell 2014 AMP]  * [https://github.com/quchen/articles/blob/master/applicative_monad.md Initial text of the Haskell 2014 AMP]  
−  * [http://  +  * [http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19482 AMP mailing list discussion] 
* Phase one: ticket [http://hackage.haskell.org/trac/ghc/ticket/8004 #8004]  * Phase one: ticket [http://hackage.haskell.org/trac/ghc/ticket/8004 #8004]  
Line 16:  Line 16:  
# Applicative becomes a superclass of Monad, and is added to the Prelude.  # Applicative becomes a superclass of Monad, and is added to the Prelude.  
# Alternative becomes a superclass of MonadPlus (in addition to Monad, of course).  # Alternative becomes a superclass of MonadPlus (in addition to Monad, of course).  
−  # <hask>join</hask> is promoted into the Monad typeclass.  +  # <s><hask>join</hask> is promoted into the Monad typeclass.</s>  Left out due to [https://ghc.haskell.org/trac/ghc/wiki/Roles2#join nontrivial breaking interaction] with [[Roles]]. Will "probably be fixed in the future", but for now it's off the table. 
The general rationale behind these changes:  The general rationale behind these changes:  
Line 22:  Line 22:  
# ''Break as little code as possible.'' For example, do not move <hask>return</hask> to Applicative and remove <hask>pure</hask>. Instead, leave <hask>return</hask> in Monad, and give it <hask>pure</hask> as default implementation.  # ''Break as little code as possible.'' For example, do not move <hask>return</hask> to Applicative and remove <hask>pure</hask>. Instead, leave <hask>return</hask> in Monad, and give it <hask>pure</hask> as default implementation.  
# ''Change only things that are closely related to the proposal.'' For example, using <hask>join</hask> in a monad definition requires it to be a functor, so it goes hand in hand with the AMP. On the other hand, removing <hask>fail</hask> has nothing to do with what we're trying to accomplish.  # ''Change only things that are closely related to the proposal.'' For example, using <hask>join</hask> in a monad definition requires it to be a functor, so it goes hand in hand with the AMP. On the other hand, removing <hask>fail</hask> has nothing to do with what we're trying to accomplish.  
−  
−  
== Futureproofing current code ==  == Futureproofing current code ==  
−  GHC 7.8 will issue two types of warnings in order to encourage widescale code fixing. The following describes how to get rid of them, and as a result ensures your code builds both now and after the AMP is finished.  +  GHC 7.8 will issue two types of warnings in order to encourage widescale code fixing. The following describes how to get rid of them, and as a result ensures your code builds both now and after the AMP is finished. For a more extensive and uptodate guide, see also the [https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10#base4.8.0.0 GHC 7.10 migration guide]. 
=== Missing superclasses ===  === Missing superclasses ===  
Line 44:  Line 42:  
instance Applicative m where  instance Applicative m where  
−  pure = return  +  pure = { move the definition of `return` from the `Monad` instance here } 
(<*>) = ap  (<*>) = ap  
+  
+  instance Monad m where  
+  return = pure  redundant since GHC 7.10 due to default impl  
</haskell>  </haskell>  
+  
+  Moreover, there are some subtle issues regarding the <code>(>>)</code> operator, see [https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10#base4.8.0.0] for more details.  
* Add an Alternative instance for all instances of MonadPlus. This can again be done easily using  * Add an Alternative instance for all instances of MonadPlus. This can again be done easily using  
Line 87:  Line 90:  
* <hask>>></hask> and <hask>*></hask> are identical.  * <hask>>></hask> and <hask>*></hask> are identical.  
* <hask>liftM</hask> and <hask>liftA</hask> are <hask>fmap</hask>. The <hask>liftM*</hask> are <hask>liftA*</hask>, <hask><*></hask> is <hask>ap</hask>.  * <hask>liftM</hask> and <hask>liftA</hask> are <hask>fmap</hask>. The <hask>liftM*</hask> are <hask>liftA*</hask>, <hask><*></hask> is <hask>ap</hask>.  
−  * Prelude's <hask>sequence</hask>  +  * Prelude's <hask>sequence</hask> requires <hask>Monad</hask> right now, while <hask>Applicative</hask> is sufficient to implement it. The more general version of this issue is captured by <hask>Data.Traversable</hask>, whose main typeclass implements the *same* functionality twice, namely <hask>traverse</hask> and <hask>mapM</hask>, and <hask>sequenceA</hask> and <hask>sequence</hask>. 
* The <hask>WrappedMonad</hask> type from <hask>Control.Applicative</hask> provides a semiautomatic way to using Functor/Applicative/Alternative functions for Monad/MonadPlus instances as a makeshift patch.  * The <hask>WrappedMonad</hask> type from <hask>Control.Applicative</hask> provides a semiautomatic way to using Functor/Applicative/Alternative functions for Monad/MonadPlus instances as a makeshift patch.  
Line 126:  Line 129:  
−  ===  +  === Prepare GHC === 
Using a GHC fork with the full patch applied, find and fix all compilation errors introduced by the change by adding Functor/Applicative instances for all Monads.  Using a GHC fork with the full patch applied, find and fix all compilation errors introduced by the change by adding Functor/Applicative instances for all Monads. 
Latest revision as of 11:46, 24 October 2015
Haskell calls a couple of historical accidents its own. While some of them, such as the "number classes" hierarchy, can be justified by pragmatism or lack of a strictly better suggestion, there is one thing that stood out as, well, not that: Applicative not being a superclass of Monad.
The topic has been discussed multiple times in the past (cf. link section at the very end). This article describes the Haskell 2014 Applicative => Monad proposal (AMP), which was then implemented in GHC 7.10.
Some relevant links:
 Initial text of the Haskell 2014 AMP
 AMP mailing list discussion
 Phase one: ticket #8004
Contents 
[edit] 1 Proposal contents
The list of changes is as follows:
 Applicative becomes a superclass of Monad, and is added to the Prelude.
 Alternative becomes a superclass of MonadPlus (in addition to Monad, of course).

 Left out due to nontrivial breaking interaction with Roles. Will "probably be fixed in the future", but for now it's off the table.is promoted into the Monad typeclass.join
The general rationale behind these changes:
 Break as little code as possible. For example, do not move to Applicative and removereturn. Instead, leavepurein Monad, and give itreturnas default implementation.pure
 Change only things that are closely related to the proposal. For example, using in a monad definition requires it to be a functor, so it goes hand in hand with the AMP. On the other hand, removingjoinhas nothing to do with what we're trying to accomplish.fail
[edit] 2 Futureproofing current code
GHC 7.8 will issue two types of warnings in order to encourage widescale code fixing. The following describes how to get rid of them, and as a result ensures your code builds both now and after the AMP is finished. For a more extensive and uptodate guide, see also the GHC 7.10 migration guide.
[edit] 2.1 Missing superclasses
(Warnings of the type "Warning: X is an instance of C, but not D")
 Add Applicative/Functor instances for all your Monads. You can simply derive these instances from the Monad by adding the following code:
import Control.Applicative (Applicative(..)) import Control.Monad (liftM, ap)  Monad m instance Functor m where fmap = liftM instance Applicative m where pure = { move the definition of `return` from the `Monad` instance here } (<*>) = ap instance Monad m where return = pure  redundant since GHC 7.10 due to default impl
Moreover, there are some subtle issues regarding the (>>)
operator, see [1] for more details.
 Add an Alternative instance for all instances of MonadPlus. This can again be done easily using
import Control.Applicative (Alternative(..)) import Control.Monad (mzero, mplus)  MonadPlus m instance Alternative m where (<>) = mplus empty = mzero
[edit] 2.2 Future Prelude names
"The name X clashes with a future Prelude name"  Prelude will export functions called Change your code to not define functions named ,<*>orjoin.pure
 Import Prelude definitions you need explicitly. For example, would not importimport Prelude (map, (+)), so no warning is issued as the module is compatible with the Prelude exportingjoin.join.hiding
 Due to GHC internals, you cannot use to silence the warnings, although this method would be futureproof. If you want to usehiding (join, (<*>), pure), you will have to silence the warnings using a sledgehammerhiding
fnowarnamp
compiler flag. (If you do so make sure you know what you're doing, otherwise your module will break in 7.10.) To make 7.10 not complain about the then unrecognized flag, it's best to specify it in a CPP block,
{# LANGUAGE CPP #} #if __GLASGOW_HASKELL__ >= 707 && __GLASGOW_HASKELL__ < 710 {# OPTIONS_GHC fnowarnamp #} #endif
[edit] 3 Discussion and consequences
[edit] 3.1 It's the right thing to do™
Math. You've all heard this one, it's good and compelling so I don't need to spell it out.
[edit] 3.2 Redundant functions
 andpuredo the same thing.return
 and>>are identical.*>
 andliftMareliftA. ThefmapareliftM*,liftA*is<*>.ap
 Prelude's requiressequenceright now, whileMonadis sufficient to implement it. The more general version of this issue is captured byApplicative, whose main typeclass implements the *same* functionality twice, namelyData.Traversableandtraverse, andmapMandsequenceA.sequence
 The type fromWrappedMonadprovides a semiautomatic way to using Functor/Applicative/Alternative functions for Monad/MonadPlus instances as a makeshift patch.Control.Applicative
That very much violates the "don't repeat yourself" principle, and even more so it forces the programmer to repeat himself to achieve maximal generality. It may be too late to take all redundancies out, but at least we can prevent new ones from being created.
(Note that it is not proposed to remove any functions for compatibility reasons. Maybe some of them can be phased out in the long run, but that's beyond scope here.)
[edit] 3.3 Using Functor/Applicative functions in monadic code
Whenever there's Monad code, you can use Functor/Applicative functions, without introducing an additional constraint. Keep in mind that "Functor/Applicative functions" does not only include what their typeclasses define but many more, for example
[edit] 3.4 Compatibility issues
These are the kinds of issues to be expected:
 Monads lacking Functor or Applicative instances. This is easily fixable by either setting ,fmap = liftMandpure = return, although more efficient implementations may exist, or by moving an already existing definition from(<*>) = apto the appropriate module.Control.Applicative
 This one is specific to building GHC: importing introduces a circular module dependency. In this case, one can rely on handwritten implementations of the desired function, e.g.Control.Monad/Applicative.ap f x = f >>= ...
 Libraries using their own . This one is potentially the most laborious consequence. For building GHC though, this only concerns Hoopl, and a handful of renames.(<*>)
[edit] 3.5 Beginner friendliness
How often did you say ...
 "A Monad is always an Applicative but due to historical reasons it's not but you can easily verify it by setting andpure = return"(<*>) = ap
 "isliftMbut not really."  "So when should I usefmapand whenfmap?"  sighliftM
With the new hierarchy, the answer would always be "use the least restrictive one".
[edit] 4 Applying the AMP to GHC and then Haskell in practice
Proposed is a gradual introduction of the AMP in three phases:
[edit] 4.1 Prepare GHC
Using a GHC fork with the full patch applied, find and fix all compilation errors introduced by the change by adding Functor/Applicative instances for all Monads.
According to SPJ, adding an adhoc warning of sorts "Monad without Applicative detected" is not a problem, which will be crucial for the next phase. More specifically, issue a warning if:
 Monad without Applicative
 MonadPlus without Alternative
 One of ,<*>,pureis defined in a different context to avoid naming conflicts, as these functions will go into the Preludejoin
[edit] 4.2 Prepare Hackage
The warning just mentioned will hint to all authors that they should fix (or help others fix) the noncomplying packages. This will ideally lead to libraries eventually adding Applicative instances, and changing their APIs if they redefine operators likeAfter enough time has passed by so libraries adapted to the circumstances, move on to the next phase.
[edit] 4.3 Apply the proposal
Once Hackage is prepared, applying the changes to the Base package is painless. However, this is not primarily a GHC, but a Haskell change. The previous steps were basically preparing the landscape, and when we've (hopefully) found out that it is a good idea to go through with it, it can be proposed to go into the Report. If we make it this far, the AMP should pass quite easily.
[edit] 5 Previous proposals
 Early 2011: GHC ticket – changes similar to this proposal, but closed as "not GHC, but Haskell". See here for the associated discussion.
 The Other Prelude