<div dir="ltr"><b>Top Picks:</b><br><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div><ul><span><li>Team GHC <a href="http://haskell.1045720.n5.nabble.com/ANNOUNCE-Glasgow-Haskell-Compiler-8-0-1-release-candidate-1-td5827003.html" target="_blank">announces the first release candidate of version 8.0</a>. New features include:<br></li></span><ul><span><li><span></span>Strict and StrictData extensions</li><li><span>TypeFamilyDependencies extension for <a href="https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies" target="_blank">injective type families</a></span></li><span class=""><li>TypeInType extension for more dependent typing hackery</li></span></span><span class=""><li>explicit type application in plain Haskell, not Core</li><li>Applicative do-notation</li><li>a spanking new pattern-match checker</li></span><li>modularization of the ghci interpreter: it can now run as an independent process<br></li></ul></ul></div><div style="margin-left:40px">Note that the announcement includes a list of bugs linked to the new features.<br></div><div><ul><span class=""><span></span><span></span><span><li>The engineers at an Australian real estate listings website <a href="http://techblog.realestate.com.au/how-we-used-category-theory-to-solve-a-problem-in-java/" target="_blank">explain how they "used Category Theory to solve a problem in Java."</a>
 They face the problem of their search API having grown gnarly and 
inextensible. First they offer a monoid tutorial culminating in 
SearchResults -> SearchResults endomorphisms. Then they regularize 
their database lookups as Kleisli-composable instances of a monomorphic 
state monad of type (DataSource, SearchResults) -> SearchResults. 
Finally, they profunctorize the state monad for mereological development
 of the DataSource. So how was the blog post received? A vocal section 
of the HN community <a href="https://news.ycombinator.com/item?id=10892696" target="_blank">express skepticism</a>. One haskell subredditor found it <a href="https://www.reddit.com/r/haskell/comments/40s85b/how_we_used_category_theory_to_solve_a_problem_in/cywztmh" target="_blank">"an excellent article."<br><br></a></li></span><li><a href="https://en.wikipedia.org/wiki/Verity_Stob" target="_blank">Verity Stob</a>, the doyen of information technology satire, <a href="http://www.theregister.co.uk/2016/01/13/stob_remember_the_monoids/" target="_blank">skewers the cargo culting of Functional Programming</a> and by the by writes a monad tutorial (omg!). Haskell redditors <a href="https://www.reddit.com/r/haskell/comments/40wqzf/learn_you_func_prog_on_five_minute_quick_el_regs/" target="_blank">chuckle and cluck at the hatchet job</a>.<br><br></li></span><li>Team Wander Nauta <a href="https://github.com/wandernauta/viskell" target="_blank">creates Viskell</a>,
 "an experimental visual programming environment for a typed 
(Haskell-like) functional programming language." Programming with touch 
tablets in mind, he implements Viskell in Java 8 because "Haskell lacks 
suitable GUI libraries, and we need good multi-touch support." <a href="https://github.com/wandernauta/viskell/blob/master/viskell-nlfpday.pdf" target="_blank">A slides PDF contains more screenshots.</a> Well-received on both <a href="https://news.ycombinator.com/item?id=10874294" target="_blank">Hacker News</a> and <a href="https://www.reddit.com/r/haskell/comments/406au9/viskell_visual_programming_meets_haskell_visual/" target="_blank">/r/haskell</a>.<br><br></li></ul></div><b>Quotes of the Week:</b><br><div><div><div><span class=""><ul><span><li><a href="https://news.ycombinator.com/item?id=10870488#up_10874714" target="_blank">Tom Ellis:</a> In Haskell you don't fight the type system.  It fights your bugs.<br><br><span><span></span></span></li><li><a href="https://news.ycombinator.com/item?id=10892293#up_10896419" target="_blank">Jeremy Bowers:</a>
 The reason I find Haskell interesting is precisely that it's the only 
place I know where the theoretically-minded and the practically-minded 
get together and interpollinate. Everywhere else the one group pretty 
much just sneers at the other.<br><br></li></span><li>Redditor <a href="https://www.reddit.com/r/haskell/comments/40aa4n/how_to_make_industry_quality_software_with_haskell/cysqbvr" target="_blank">lukewarm:</a> Yes, you can write industry quality software in Haskell. Do all your computations in the IO monad, keep intermediate results 
in MVars. Use only Int and String types. Use exceptions to handle 
errors. Write yourself custom constructs to emulate <code>for</code> and <code>while</code> loops, preferably using Template Haskell.<br><span><span></span></span><br></li></ul></span><span class="HOEnZb"><font color="#888888">-- Kim-Ee<br></font></span></div><span><span><span><font color="#888888"><span><font color="#888888"><div>
</div></font></span></font></span></span></span></div></div></div>
</div></div></div></div></div></div></div></div>
</div><br></div>