<div dir="ltr">I suspect this wouldn't actually address too many of these concerns.  Perhaps it would work for Eric's case, where he's willing to use Hugs, which is definitely not a realistic development tool anyway.  Outside of that, I think it's a bit revisionist to cast concerns about recent language development as being about wanting a teaching sublanguage for new programmers.  A lot of the rest of the concern is actually people's belief that Haskell is becoming too complex to be the right trade-off for general-purpose software development.  New programmers are mentioned because some percentage of a realistic software engineering setting is *always* made up of new programmers, and programmers who are new to the tools or language.  That isn't addressed by adding teaching modes; you can't partition off your coworkers and relegate them to the teaching dialect.<div><br></div><div>For what it's worth, it's already not too hard to build simplified dialects of Haskell for teaching.  I did it with <a href="http://code.world">http://code.world</a>, and ran into few problems despite some big changes.  In my view, it doesn't matter much if there's a single short directive to make it work with the ghc command line.  There are plenty of other advantages to wrapping GHC for education.  Once you've crossed the gulf from "the Haskell that everyone uses" to "special island only for teaching new programmers", you've already lost the benefits of living in the core Haskell ecosystem, and it no longer matters if you add a few differences here and there.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Apr 14, 2016 at 5:35 AM, Rustom Mody <span dir="ltr"><<a href="mailto:rustompmody@gmail.com" target="_blank">rustompmody@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">On Thu, Apr 14, 2016 at 2:57 AM, Johannes Waldmann <span dir="ltr"><<a href="mailto:johannes.waldmann@htwk-leipzig.de" target="_blank">johannes.waldmann@htwk-leipzig.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> <a href="https://twitter.com/headinthebox/status/652834731806052352" rel="noreferrer" target="_blank">https://twitter.com/headinthebox/status/652834731806052352</a><br>
<br>
This mentions    and :: Foldable t => t Bool -> Bool<br>
as an example of "abstract nonsense".<div dir="ltr"><div><div dir="ltr"><div><br></div></div></div></div></blockquote><div><br></div></span><div>I find it sad... that people like Erik Meijer, Mark Lentczer... (even Doug McIllroy recently demonstrated that there are 2⁹⁹ dialects of haskell!!) are not being heeded<br></div><div>And this complaint could be greatly alleviated with one little leaf drawn from racket -- language-packs: <a href="https://docs.racket-lang.org/drracket/extending-drracket.html" target="_blank">teachpacks</a><br></div><div>Along with the single lightweight directive <a href="https://docs.racket-lang.org/guide/Module_Syntax.html#%28part._hash-lang%29" target="_blank">#lang</a><br><br></div><div>It may naturally be asked how is #lang different from ghc's language "-X" options<br></div><div>A teachpack would be a bunch of coherent -X options maybe along with a suitable prelude<br></div></div>
</div></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>