Hello Haskell Cafe!<div><br></div><div><p style="text-align:justify"><font face="&#39;Lucida Grande&#39;, Verdana, Arial, sans-serif"><span style="font-size:12px;line-height:16px">Recently, I got my proposal “Haskell-Type-Exts”--submitted to haskell community--accepted for Google SoC 2012!</span></font><br>
<font face="&#39;Lucida Grande&#39;, Verdana, Arial, sans-serif"><span style="font-size:12px;line-height:16px">I have the luxury (thanks to Haskell.org GSoC committee) to develop a typechecker[1] for ASTs extracted by HSE[2] during this summer.</span></font><br>
<font face="&#39;Lucida Grande&#39;, Verdana, Arial, sans-serif"><span style="font-size:12px;line-height:16px">HSE is one of the most widely used (if not the most popular) standalone parsers for Haskell 2010 plus a wide variety of extensions. </span></font><br>
<font face="&#39;Lucida Grande&#39;, Verdana, Arial, sans-serif"><span style="font-size:12px;line-height:16px">HSE is written (and maintained) by Niklas Broberg and he is also mentoring this project.</span></font></p><p style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">
To be realistic, it is a rather challenging project and support of the community is vitally important to achieve the goals.</p><p style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">
I have a weblog accessible at <a href="http://cleantypecheck.wordpress.com/">http://cleantypecheck.wordpress.com/</a> dedicated to this topic.<br>I plan to use it as the main media to communicate with people interested.<br>
Also, you can contact me directly through [shayan at chalmers d0t se].</p><p style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">If you see yourself as a potential user of the tool or by any reason you are interested , <br>
I&#39;d highly appreciate if you would take a look at the following post and leave your comment/suggestions:</p><p style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">
<a href="http://cleantypecheck.wordpress.com/2012/05/03/inquiry/">http://cleantypecheck.wordpress.com/2012/05/03/inquiry/</a></p><p style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">
Thanks!</p><p style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">/Shayan</p><p style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">
[1] <a href="http://hackage.haskell.org/package/haskell-type-exts">http://hackage.haskell.org/package/haskell-type-exts</a><br>[2] <a href="http://hackage.haskell.org/package/haskell-src-exts">http://hackage.haskell.org/package/haskell-src-exts</a></p>
</div>