On Sun, Jun 23, 2013 at 2:20 PM, Nikita Volkov <nikita.y.volkov@gmail.com> wrote:
On Jun 23, 2013, at 10:11 PM, Henning Thielemann <lemming@henning-thielemann.de> wrote:
> If in future Prelude moves more and more to one most general function that does everything given the right type, then I am really concerning to use NoImplicitPrelude in all my modules and use a custom Prelude or none at all.

That's exactly what I am doing now and the very existence of a dozen of "prelude" projects on hackage suggests that I'm hardly alone in that.

Except that most of them are making things *more* general, whereas Henning believes polymorphism is evil and confusing.

Is there anything else we need to remove from Haskell to make it "appropriate"? Within the past 24 hours I have heard impassioned arguments for jettisoning polymorphism, monads, and arrows. Maybe strong typing should be removed next? Currying?

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net