On Sun, Jun 23, 2013 at 2:20 PM, Nikita Volkov
If in future Prelude moves more and more to one most general function
On Jun 23, 2013, at 10:11 PM, Henning Thielemann < lemming@henning-thielemann.de> wrote: 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