<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hello all. I write this to be a little provocative, but …<div class=""><br class=""></div><div class="">It’s really interesting to have this discussion, which pulls in all sorts of well-made points about orthogonality, teaching, the evolution of the language and so on, but it simply goes to show that the process of evolving Haskell is profoundly broken. </div><div class=""><br class=""></div><div class="">Other languages do evolve, but in a managed and reflective way. Simply throwing in changes that would have a profound impact on systems that are commercially and potentially safety critical in an à la carte, offhand, way seems like a breakdown of the collective responsibility of the Haskell community to its users and, indirectly, to its future.</div><div class=""><br class=""></div><div class="">If we make claims - I believe rightly - that Haskell is hitting the mainstream, then we need to think about all changes in terms of the costs and benefits of each of them in the widest possible sense. There’s an old fashioned maxim that sums this up in a pithy way: “if it ain’t broke, don’t fix it”.</div><div class=""><br class=""></div><div class="">Simon Thompson</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><div><blockquote type="cite" class=""><div class="">On 5 Oct 2015, at 10:47, Michał J Gajda <<a href="mailto:mjgajda@gmail.com" class="">mjgajda@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">Hi,<div class=""><br class=""></div><div class="">As a person who used Haskell in all three capacities (for scientific research, for commercial purpose, and to introduce others to benefits of pure and strongly typed programming), I must voice an supportive voice for this change:</div><div class="">1. Orthogonal type classes are easier to explain.</div><div class="">2. Gradual improvements helps us to generalize further, and this in turn makes education easier.</div><div class="">3. Gradual change that break only a little help to prevent either stagnation (FORTRAN) and big breakage (py3k). That keeps us excited.</div><div class=""><br class=""></div><div class="">That would also call to split TCs into their orthogonal elements: return, ap, bind having the basic TC on their own.</div><div class=""><br class="">So:</div><div class="">+1, but only if it is possible to have compatibilty mode. I believe that rebindable syntax should allow us to otherwise make our own prelude, if we want such a split. Then we could test it well before it is used by the base library.</div><div class=""><br class=""></div><div class="">That said, I would appreciate Haskell2010 option just like Haskell98 wad, so that we can compile old programs without changes. Even by using some Compat version of standard library. Would that satisfy need for stability?</div><div class=""><br class=""></div><div class="">PS And since all experts were beginners some time ago, I beg that we do not call them "peripheral".</div><div class="">--</div><div class=""> Best regards</div><div class=""> Michał</div><div class=""><br class="">On Monday, 5 October 2015, Malcolm Wallace <<a href="mailto:malcolm.wallace@me.com" class="">malcolm.wallace@me.com</a>> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On other social media forums, I am seeing educators who use Haskell as a vehicle for their main work, but would not consider themselves Haskell researchers, and certainly do not have the time to follow Haskell mailing lists, who are beginning to say that these kinds of annoying breakages to the language, affecting their research and teaching materials, are beginning to disincline them to continue using Haskell. They are feeling like they would be <br class="">
</blockquote><div class="">(...) </div></div><br class=""><br class="">-- <br class=""> Pozdrawiam<br class=""> Michał<br class="">
_______________________________________________<br class="">Haskell-prime mailing list<br class=""><a href="mailto:Haskell-prime@haskell.org" class="">Haskell-prime@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime<br class=""></div></blockquote></div><br class=""><div apple-content-edited="true" class="">
Simon Thompson | Professor of Logic and Computation <br class="">School of Computing | University of Kent | Canterbury, CT2 7NF, UK<br class=""><a href="mailto:s.j.thompson@kent.ac.uk" class="">s.j.thompson@kent.ac.uk</a> | M +44 7986 085754 | W <a href="http://www.cs.kent.ac.uk/~sjt" class="">www.cs.kent.ac.uk/~sjt</a><br class=""><br class="">
</div>
<br class=""></div></body></html>