LAST CALL to comment on the Applicative/Monad Proposal

Mario Blažević mblazevic at stilo.com
Wed Jan 16 20:00:49 UTC 2019


A month passed since the last call, and I'm sorry to say that the 
Applicative/Monad proposal has been rejected. Herbert has vetoed it on 
the grounds that it doesn't come packaged with MonadFail and 
MonadOfNoReturn proposals.

This is very unfortunate because (I thought) there was finally a glimmer 
of hope for Haskell 2020. The new process used to complete the 
RelaxedPolyRec proposal seemed promising, as it worked around the 
commitee's letargy problem. As it turns out, that wasn't the only problem.

In all fairness, Herbert did state [1] he intends to write up the 
combination of AMP, MFP, and MNRP the way he likes it. I do hope that 
happens, but when and if he submits the combined proposal, I would not 
be surprised if, for example, Philippa should veto it on the grounds 
that it doesn't include the ApplicativeDo proposal that she's been vocal 
about. This committee is a far cry from the one that gave us Haskell '98.

A Haskell 2020 report with no AMP would be pointless, in my opinion, so 
I'm going to suspend my work on the report until this issue is resolved. 
I still think the best course of action may be to disband the current 
disfunctional committee and form a new one, as I proposed [2] before 
establishing the new process.

[1] https://github.com/haskell/rfcs/pull/1#issuecomment-448126690
[2] 
https://mail.haskell.org/pipermail/haskell-prime/2018-October/004370.html



More information about the Haskell-prime mailing list