<div dir="ltr">I don't think it's a good idea to create a dumbed down Prelude and existing resources not covering what programmers need to know in order to actually use Haskell as everyone else uses it is much of the reason I had to write a book to begin with. This type isn't just noise for beginners, it's noise for practitioners too. Consider what I said earlier about a 15 year user of Haskell finding the type confusing and irrelevant.<div><br></div><div>There are a couple good proposals for addressing levity polymorphism leaking into the type. I think the one Ben Gamari had in mind that I thought would be fine is waiting for a patch.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Feb 15, 2016 at 6:30 PM, Manuel M T Chakravarty <span dir="ltr"><<a href="mailto:chak@justtesting.org" target="_blank">chak@justtesting.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>>:<br>
<span class="">> builds. In effect the message to users would be,<br>
><br>
>    "yes, unboxed types exist and they are now on sound theoretical<br>
>    footing, but they are still largely an implementation detail, just as<br>
>    they have always been. If you want to use them you need to know<br>
>    where to look."<br>
><br>
> Perhaps this can be revisited at some point in the future when we have a<br>
> better story for a beginner's Prelude but for now I'm not sure we want<br>
> to subject everyone to these new types.<br>
><br>
> Anyways, this is just my two cents. It would be nice to hear what others<br>
> think.<br>
<br>
</span>Sounds like a good plan to me.<br>
<span class="HOEnZb"><font color="#888888"><br>
Manuel<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Chris Allen<br><div><span style="font-size:12.8000001907349px">Currently working on </span><a href="http://haskellbook.com" target="_blank">http://haskellbook.com</a></div></div></div></div></div></div>
</div>