
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>GHC compiler plugins may also be what you're looking for.</div><div><br></div><div>Also, does ghc not compile core files anymore? It used to; you can always use an older ghc version.</div><div><br></div><div>Tom</div><div><br></div><div><br>El 13 ago 2016, a las 20:20, Ben Lippmeier <<a href="mailto:benl@ouroborus.net">benl@ouroborus.net</a>> escribió:<br><br></div><blockquote type="cite"><div><meta http-equiv="Content-Type" content="text/html charset=utf-8"><div class=""><br class=""></div><div class=""><br class=""></div><br class=""><div><blockquote type="cite" class=""><div class="">On 13 Aug 2016, at 5:58 AM, MarLinn via Haskell-Cafe <<a href="mailto:haskell-cafe@haskell.org" class="">haskell-cafe@haskell.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">So maybe you can help me here: Have you experienced any of the alternative compilers as especially easy for a newcomer to pick up and play around with? If it helps, I would be satisfied with plain Haskell2010 or even Haskell 98, although some GADT and/or TypeFamilies code to butcher would be nice, too. The ideas are mostly about larger scale structures like whole functions.</div></div></blockquote><div><br class=""></div><div>You might want to check out DDC [1]. It’s still in a pre-alpha state, but what it does have is a working external core language. You could write your own front end that produces System-F, then have DDC compile that. The individual compiler passes are also fairly well separated, so it’s easy to change.</div><div><br class=""></div><div><br class=""></div><blockquote type="cite" class=""><div class=""><div class=""> One representative example idea is "Could it help the implementation - and does it even make sense - to view a module as just a weirdly written zero parameter type class?" As I said: crazy ideas.<br class=""></div></div></blockquote></div><br class=""><div class="">This is perfectly reasonable. I think Agda does something similar.</div><div class=""><br class=""></div><div class="">Ben.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">[1] <a href="http://disciple.ouroborus.net/" class="">http://disciple.ouroborus.net/</a></div><div class=""><br class=""></div><div class=""><br class=""></div></div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>Haskell-Cafe mailing list</span><br><span>To (un)subscribe, modify options or view archives go to:</span><br><span><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a></span><br><span>Only members subscribed via the mailman list are allowed to post.</span></div></blockquote></body></html>