[Haskell-cafe] MRP, 3-year-support-window, and the non-requirement of CPP (was: Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`)

[Rustom Mody]

*From:* Haskell-Cafe [mailto:haskell-cafe-bounces at haskell.org] *On Behalf
Of *Mike Meyer
*Sent:* 07 October 2015 00:24
*To:* Mark Lentczner; Johan Tibell
*Cc:* Haskell Libraries; haskell cafe; haskell-prime at haskell.org List
*Subject:* Re: [Haskell-cafe] MRP, 3-year-support-window, and the
non-requirement of CPP (was: Monad of no `return` Proposal (MRP): Moving
`return` out of `Monad`)



On Tue, Oct 6, 2015 at 4:15 PM Mark Lentczner <mark.lentczner at gmail.com>
wrote:


On Thu, Sep 24, 2015 at 2:43 PM, Herbert Valerio Riedel <hvr at gnu.org> wrote:

TLDR: To complete the AMP, turn `Monad(return)` method into a
      top-level binding aliasing `Applicative(pure)`.



Sure... if we had a language that no one uses and could keep reforming like
putty until it is perfect. But we don't.



A modest proposal:



We can't keep tinkering with a language and it's libraries like this AND
have a growing ecosystem that serves an ever widening base, including the
range from newcomer to commercial deployment. SO - Why let's do all the
language tinkering in GHC 8 there can be as many prereleases of that as
needed until it is just right. ...and leave GHC 7 (7.10? roll back to
7.8.4?) for all of us doing essential and dependable libraries, commercial
work, projects on Haskell that we don't want to have to go back and #ifdefs
to twice a year just to keep running, educators, people writing books. We
can keep improving GHC 7 as needed, and focus on bugs, security issues,
patches, cross compatibility, etc.



On Wed, Oct 7, 2015 at 9:06 PM, Simon Peyton Jones <simonpj at microsoft.com>
wrote:

> I think there are several different conversations going on at once in this
> thread.  I think it’s worth keeping them separate.
>
> <snip>
>
> Returning to ‘return’, my instinct is that when these pervasive breaking
> library changes come up, we should batch them into larger clumps.  The
> “treadmill” complaint is real: small change A made me re-release my
> library; then small change B came along; and so on.  Perhaps if we saved
> them up this would be less of an issue, for two reasons.  First, the work
> happens once rather than many times.  Second, the benefits of the change is
> the sum of the benefits of the little component changes, and so is more
> attractive to library authors and library clients.
>
>
>
> That line of thinking would suggest that the Core Libraries Committee
> might want to maintain a list of well-worked out agreed changes that are
> being “saved up” for execution at some later date.
>
>
>
> Simon
>
>
>
This whole discussion is tilted towards the software engineering side.
Of course from this side if someone keeps changing the underbelly in small
but significant ways that has multiplicative effects on higher levels,
people who have to manage the higher affected levels will protest.

However I'd like to respectfully submit that the software engineering angle
is not the only one; there's also the teaching angle.

When the Haskell report first came out in 1990 this dual purpose was very
clear in the first paras.
Over years as Haskell has progressed from being an academic language to a
'Real World' one this balance has been lost.
Whether Monads is really rocket science or its just ill-designed misnamed
stuff that looks like a mess because no heavy duty vacuum cleaner has been
applied, no one knows for sure because there's little pedagogic experience
with any alternative 'cleaned out Haskell'.

However this is just to point out that that possibility may be there.

And from the pedagogic angle Haskell may be neat but functional programming
is probably more significant and programming in general even more so.

In this respect here are two posts:
Functional Programming TimeLine:
http://blog.languager.org/2015/04/cs-history-1.html
and its sequel:
http://blog.languager.org/2015/06/functional-programming-moving-target.html
which is a more indepth analysis of FP in ACM curriculum 2013 and how
pedagogic realities that were generally understood some decades ago have
been increasingly forgotten today.

For the specific case at hand -- return vs pure -- Ive no specific opinion
However on a wider front, the confusion and frustration of the thousands of
beginners who have to see the forbidding meaningless 'Functor' and 'Monad'
instead of something more accessible like Mappable/Computational is IMHO a
factor for Haskell not getting as much success as it should.

Hopefully the community will take spj's call for significant batched-up
changes seriously
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151008/3c582163/attachment.html>