<div dir="ltr">I'm very happy with Adam's work strict Haskell. StrictData is already in HEAD and will be part of 8.0. Adam is working (as his studies permit) of finish the rest. Perhaps if we're really lucky we'll have the Strict pragma as well in 8.0.</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 17, 2015 at 10:13 AM, Dominic Steinitz <span dir="ltr"><<a href="mailto:dominic@steinitz.org" target="_blank">dominic@steinitz.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">In past years, Gwern did an outstanding job of summarising the GSoC proposals and how well they had done: <a href="http://www.gwern.net/Haskell%20Summer%20of%20Code" target="_blank">http://www.gwern.net/Haskell%20Summer%20of%20Code</a><div><br></div><div>Here are the proposals for this year. Perhaps students or their mentors could comment on how successful their projects have been? I realise this is a very poor substitute for Gwen’s analyses but it would better than nothing.</div><div><br></div><div><ul style="margin:0.35714285714285715em 0px 0px;padding:0px 0px 0px 40px;list-style-position:initial;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif;font-size:14px"><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em">A Strict language pragma for GHC - <a href="https://github.com/adamse" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Adam Sandberg Eriksson</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://gist.github.com/Alllex/439480b7e80303f19ddc" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">STM Data Structures Implementation</a> - Alex Semin</li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://gist.github.com/AjayRamanathan/c84a4641836700a2547b" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Implementation of Layered Gramamar of Graphics</a> - <a href="https://github.com/AjayRamanathan/Plot" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">chinu</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em">Implementing Version Comparison for Cabal Packages - <a href="https://github.com/cdxr" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Craig Roche</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="http://dzackgarza.com/mockup/main.html" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Improving Hackage Discoverability</a> - <a href="https://github.com/dzackgarza" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">D. Zack Garza</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="http://darcs.net/GSoC/2015-Darcsden" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Darcsden improvements</a> - <a href="https://github.com/co-dan" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Daniil Frumin</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://gist.github.com/hdgarrood/0a389937149453c69e03" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Pursuit enhancements</a> - <a href="https://github.com/hdgarrood" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Harry Garrood</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em">Improvements For HBLAS And Adding LAPACK Bindings. - JuejiYang</li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://gist.github.com/Jubobs/7a9298eeaf02bcefbc35" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">A standalone functional parser for CommonMark</a> - <a href="https://github.com/Jubobs" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Julien Cretel</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="http://mpickering.github.io/gsoc2015.html" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Refactor program with HLint suggestions</a> - <a href="https://github.com/mpickering" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Matthew Pickering</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em">Replication back-end for acid-state - Max Voit</li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://gist.github.com/spinda/b261167303515cc8a1d9" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Native Haskell Type Encoding for LiquidHaskell</a> - <a href="https://github.com/spinda" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Michael Smith</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em">Exhaustiveness Checker for PureScript - <a href="https://github.com/nicodelpiano" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Nicolas Del Piano</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://gist.github.com/nkartashov/e46fd146b1df2d79aaf3" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Fast splittable pseudorandom number generator for System.Random</a> - <a href="https://github.com/nkartashov" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Nikita Kartashov</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://github.com/sumitsahrawat/gsoc/blob/master/2015/ihaskell.pdf" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Interactive widgets in IHaskell</a> - <a href="https://github.com/sumitsahrawat" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Sumit Sahrawat</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em">Improvements to yesod-devel - <a href="https://github.com/urbanslug" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">urbanslug</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em"><a href="https://gist.github.com/fugyk/37510958b52589737274" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Implement nix-like package management features in cabal</a> - <a href="https://github.com/fugyk" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Vishal Agrawal</a></li><li style="margin:0px;padding:0px;font-size:1em;line-height:1.4285714285714286em">Haddock improvements - <a href="https://github.com/mrhania" style="text-decoration:none;color:rgb(125,93,138);margin-left:0px;margin-right:0px" target="_blank">Łukasz Hanuszczak</a></li></ul><span class="HOEnZb"><font color="#888888"><div><br></div><div>
<div>Dominic Steinitz</div><div><a href="mailto:dominic@steinitz.org" target="_blank">dominic@steinitz.org</a></div><div><a href="http://idontgetoutmuch.wordpress.com" target="_blank">http://idontgetoutmuch.wordpress.com</a></div>

</div>
<br></font></span></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>