<div dir="ltr"><b>Top Picks:<br></b><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><ul><span><li>Tony Day, Brisbane-based investment strategist and high-frequency-trading hacker, rides <a href="http://tonyday567.github.io/blog/mvc-todo/" target="_blank">100% idiomatic Haskell</a> into the <a href="http://en.wikipedia.org/wiki/Single-page_application" target="_blank">Single Page (web)-App</a> space. How? He spins the GHCJS transpiler on Gabriel Gonzalez's Model-View-Controller library to obtain <a href="http://tonyday567.github.io/static/index-auto.html" target="_blank">his own TodoMVC benchmark demo</a>. Per GHCJS, the production spans multi-megabytes of javascript. Not to be missed: auto-run, i.e. click the QuickCheck-powered checkbox labeled "Let haskell do the work." <a href="https://github.com/tonyday567/mvc-todo" target="_blank">Github repo</a>.<br><br>Along the way, he discovers how crippled Javascript is without sum types. As <a href="https://news.ycombinator.com/item?id=9591868#up_9601842" target="_blank">noted on HN</a>, "Typos and missing cases represent a very large set of trivial bugs." He believes superior FP features such as sum types makes it "much harder for haskell to avoid success." Woe is us. <a href="http://www.reddit.com/r/haskell/comments/36y9jc/haskell_as_an_mvc_framework/" target="_blank">/r/haskell</a><br><br></li></span><span><li>Michael Walker, a Ph.D. student at York, <a href="http://www.reddit.com/r/haskell/comments/37dv8y/what_side_projects_have_you_done_in_haskell/crlui8l" target="_blank">reveals</a> his personal book-collection management <a href="http://www.barrucadu.co.uk/bookdb/" target="_blank">web-app</a> that runs on top of <a href="https://hackage.haskell.org/package/persistent" target="_blank">persistent</a>, <a href="https://hackage.haskell.org/package/wai" target="_blank">WAI</a>, and <a href="https://hackage.haskell.org/package/web-routes" target="_blank">web-routes</a>. <a href="https://github.com/barrucadu/bookdb" target="_blank">Public domain.</a><br><br></li></span><li>David Christiansen <a href="http://www.reddit.com/r/haskell/comments/36az3n/idris_0918_released_with_fancier_records_lots_of/" target="_blank">announces on /r/haskell</a> Idris <a href="http://www.idris-lang.org/idris-0-9-18-released/" target="_blank">0.9.18</a>
 with fancier records. Top comment says Idris is more type-friendly 
than Haskell despite the "esoteric academics behind dependent type 
theory." Why? Because Idris, helpfully offers suggestions that turn ill- 
into well-typed code. Haskell doesn't.<br><br></li><li>Remember <a href="http://haskell.1045720.n5.nabble.com/Haskell-Weekly-News-tp5809360.html" target="_blank">JP Moresmau dropping EclipseFP</a>? Can Leksah take its place? Hamish Mackenzie announces a 7.10-ready <a href="https://github.com/leksah/leksah/wiki/Leksah-0.15.0" target="_blank">Leksah 0.15.0</a> on <a href="http://www.reddit.com/r/haskell/comments/37emp2/leksah_0150/" target="_blank">/r/haskell</a>. Top new feature? Support for GHCJS, which excites Phil Freeman of PureScript fame. Here's a 2min video clip on <a href="https://www.youtube.com/watch?v=zQnExdDL63c" target="_blank">How to make a ghcjs-dom application in Leksah</a>.<br><br></li><li>Roman Cheplyaka writes a <a href="https://ro-che.info/articles/2015-05-28-force-list">short 'n sweet tutorial</a> on how a list may be variously forced. He summarizes the similarities and differences in a table that goes from the shallowestly evaluated seq () to forceSpine to forceElements to the deepest rnf. <a href="http://www.reddit.com/r/haskell/comments/37ky62/how_to_force_a_list/">/r/haskell</a><br><br></li><li>Justin Leitgeb, Rails developer and Co-Founder / CTO of Stack Builders, a Haskell-enabled software consultancy, deprioritizes learning Clojure, Go, Erlang, and Scala <a href="http://www.stackbuilders.com/news/another-personal-programming-language-roadmap" target="_blank">in favor of Agda, Coq, Idris, Elm, and Liquid Haskell</a>. He will invest a couple of weeks at the <a href="https://www.cs.uoregon.edu/research/summerschool/summer15/" target="_blank">Oregon PL Summer School starting June 15</a>.<br><br></li><span><li>Tony Morris announces a three-day Haskell-based Intro to FP course in Melbourne, July 21-23 this year. Pitched at beginners, it features learning by coding.<span></span> <a href="https://groups.google.com/forum/#!topic/nicta-fp/Dnq-oh4nJbg" target="_blank">Free; application deadline: July 10</a>.<br><br></li><li><a href="http://haskell.1045720.n5.nabble.com/Workshop-on-Type-Inference-and-Automated-Proving-td5768920.html#a5809572" target="_blank">By popular request</a>, František Farka and his team recorded all of a <a href="http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/" target="_blank">workshop on type inference in Dundee, Scotland</a> held a couple of weeks ago. <a href="https://www.youtube.com/user/qmbevents/videos" target="_blank">Highly-viewed talks</a> include <a href="http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/#edwin" target="_blank">Edwin Brady</a> on implementing dependent types in Idris and <a href="http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/#conor" target="_blank">Conor McBride</a> on "Type Inference Needs Revolution." <a href="http://www.reddit.com/r/haskell/comments/36dfcx/workshop_on_type_inference_and_automated_proving/" target="_blank">/r/haskell</a><br><br></li><li>Michael Hicks at UMD, PC chair of POPL 2012, writes a <a href="http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-useful/" target="_blank">PL research apologia</a> cum pitch for new grad students. An informal poll he did shows PL Ph.D.s get good jobs. He explains that "The ethos of PL research is to not just find solutions to important problems, but to find the <i>best expression of those solutions.</i>" As ethos specimens, he gives three: probabilistic programming, incremental computation a.k.a. self-adaptive computation, and authenticated data structures (see <a href="http://amiller.github.io/lambda-auth/" target="_blank">LambdaAuth</a>). <a href="https://news.ycombinator.com/item?id=9614178" target="_blank">HN-worthy</a>.<br><br></li></span><li>Jan Stolarek gives a <a href="http://lambda.jstolarek.com/2015/05/injective-type-families-for-haskell/" target="_blank">glimpse</a> of GHC's new injective type families feature, which is joint research with SPJ and Richard Eisenberg. It brings Haskell one step closer to having a notion of type functions as opposed to mere 'constructors.' The feature is useful in type-level hacking. It allows the arguments of a type family to be inferred solely by result type.<br><br>But <a href="http://www.reddit.com/r/haskell/comments/37bvh0/injective_type_families_for_haskell/crmfuvz" target="_blank">Lennart Augustsson on /r/haskell</a> gives a trivial example where even when a type family isn't injective, its argument can still be inferred knowing a particular result type. He regrets that GHC doesn't do this.<br><br></li><span><li>Joe Nelson uploads <a href="http://begriffs.com/posts/2015-05-24-safe-haskell.html" target="_blank">the video and a summary</a> of Kristen Kozak introducing the Safe Haskell extension to the <a href="http://www.meetup.com/Bay-Area-Haskell-Users-Group/events/220312001/" target="_blank">SF Bay Area Haskell Users Group</a> on May 12. <a href="http://wordroute.com/grayjay/safe-haskell.pdf" target="_blank">Slides here</a>. <a href="http://www.reddit.com/r/haskell/comments/37a1cq/using_the_safe_haskell_language_extension_video/" target="_blank">Redditor beerdude26</a> adds the link to and tidies up the <a href="https://wiki.haskell.org/Safe_Haskell" target="_blank">Safe Haskell wiki</a> entry.<br><br></li><li>Out of frustration with existing Windows GUI FFIs, <a href="http://lukahorvat.github.io/programming/2015/05/24/haskellforms/" target="_blank">Luka Horvat</a> creates <a href="https://github.com/LukaHorvat/HaskellForms" target="_blank">bindings for WinForms</a>, Microsoft's .NET menus-and-widgets library. He binds to F# instead of lower-level C++/C# because it's easier. <a href="http://www.reddit.com/r/haskell/comments/37464x/haskellforms_winforms_bindings_for_haskell/" target="_blank">/r/haskell</a><br><br></li><li><span><a href="http://www.haskellforall.com/2015/05/the-internet-of-code.html">Gabriel Gonzalez</a>
 demoes another piece of Morte, what he describes as his "pandoc for 
programming languages." He prototypes "distributing typed code over the 
internet where the unit of compilation 
is individual expressions." <a href="http://www.reddit.com/r/haskell/comments/36d12v/haskell_for_all_the_internet_of_code/">/r/haskell</a><br><br></span></li><li><span></span>Taylor Fausak forsakes <a href="https://hackage.haskell.org/package/tagsoup" target="_blank">TagSoup</a> and <a href="http://taylor.fausak.me/2015/05/21/scraping-websites-with-haskell/" target="_blank">scrapes websites</a> the hard way using xml-conduit. He concludes that it's "tougher than doing the same thing in scripting languages, but hopefully easier than [his blog readers] expected."<br><br></li><li>Stuart Popejoy writes <a href="http://slpopejoy.github.io/posts/Effectful01.html" target="_blank">a monad tutorial</a>. A redditor finds it an "entertaining explanation of monads." Another asks the OOP-ish question: are monads "basically wrappers that contain 'impure' data and actions with some common functions?" <a href="http://www.reddit.com/r/haskell/comments/374c3o/effectful_haskell_io_monads_functors/" target="_blank">See /r/haskell</a><br><br></li></span></ul><span><b>Announcement:</b> Semen Trygubenko has stepped down from publishing his edition of HWN. Losing him means there will be no issue next week.<br><b><br>Quotes of the Week:<br></b><ul><li><a href="https://twitter.com/UnoOuzo/status/601658244201848832" target="_blank">UnoOuzo</a>: "The type of my love is parametrically polymorphic. It is unbounded." Looking into ways to cite this in my thesis.<br><br></li><li><a href="http://www.reddit.com/r/haskell/comments/36y9jc/haskell_as_an_mvc_framework/cricb85?context=2" target="_blank">Conor McBride</a>: Algebra is a posh way of saying "construction kit".<br><br></li><li><a href="http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-useful/" target="_blank">Michael Hicks</a>: The ethos of PL research is to not just find solutions to important problems, but to find the <i>best expression of those solutions.<br><br></i></li><li>There is a fountain of youth: it is your mind, your talents, the creativity you bring to your life and the lives of people you love. When you learn to tap this source, you will truly have defeated age. -- Sophia Loren<span><font color="#888888"><br><br></font></span></li></ul><span><font color="#888888"><div><div><div>-- Kim-Ee</div></div>
</div></font></span></span></div>
</div><br></div>
</div><br></div>