<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><div class="gmail_default">Welcome to issue 296 of the HWN, an issue covering crowd-sourced bits</div><div class="gmail_default">of information about Haskell from around the web. This issue covers</div>
<div class="gmail_default">from May 25 to June 7, 2014</div><div class="gmail_default"><br></div><div class="gmail_default">Quotes of the Week</div><div class="gmail_default"><br></div><div class="gmail_default"> * mbrock: then you get into a whole thing about the epistemology of</div>
<div class="gmail_default"> abstract algebra, and someone brings up Wittgenstein, somebody</div><div class="gmail_default"> brings out a bottle of wine, and it's yet another one of those</div><div class="gmail_default">
nights</div><div class="gmail_default"><br></div><div class="gmail_default">Top Reddit Stories</div><div class="gmail_default"><br></div><div class="gmail_default"> * An alternative Haskell home page</div><div class="gmail_default">
Domain: <a href="http://chrisdone.com">chrisdone.com</a>, Score: 160, Comments: 57</div><div class="gmail_default"> Original: [1] <a href="http://goo.gl/Yw2G3a">http://goo.gl/Yw2G3a</a></div><div class="gmail_default">
On Reddit: [2] <a href="http://goo.gl/m19Ujx">http://goo.gl/m19Ujx</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Third generation of the attoparsec parsing library</div><div class="gmail_default">
Domain: <a href="http://serpentine.com">serpentine.com</a>, Score: 82, Comments: 22</div><div class="gmail_default"> Original: [3] <a href="http://goo.gl/kk8i50">http://goo.gl/kk8i50</a></div><div class="gmail_default">
On Reddit: [4] <a href="http://goo.gl/LZzevb">http://goo.gl/LZzevb</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Music-Suite</div><div class="gmail_default"> Domain: <a href="http://music-suite.github.io">music-suite.github.io</a>, Score: 81, Comments: 44</div>
<div class="gmail_default"> Original: [5] <a href="http://goo.gl/u69ybm">http://goo.gl/u69ybm</a></div><div class="gmail_default"> On Reddit: [6] <a href="http://goo.gl/EYKMwI">http://goo.gl/EYKMwI</a></div><div class="gmail_default">
<br></div><div class="gmail_default"> * Erik Meijer: Introduction to Functional Programming</div><div class="gmail_default"> Domain: <a href="http://edx.org">edx.org</a>, Score: 79, Comments: 11</div><div class="gmail_default">
Original: [7] <a href="http://goo.gl/YrfbA3">http://goo.gl/YrfbA3</a></div><div class="gmail_default"> On Reddit: [8] <a href="http://goo.gl/oLRm6k">http://goo.gl/oLRm6k</a></div><div class="gmail_default"><br></div>
<div class="gmail_default"> * The abject failure of weak typing</div><div class="gmail_default"> Domain: <a href="http://techblog.realestate.com.au">techblog.realestate.com.au</a>, Score: 72, Comments: 28</div><div class="gmail_default">
Original: [9] <a href="http://goo.gl/h5XDVZ">http://goo.gl/h5XDVZ</a></div><div class="gmail_default"> On Reddit: [10] <a href="http://goo.gl/nfnLNN">http://goo.gl/nfnLNN</a></div><div class="gmail_default"><br>
</div>
<div class="gmail_default"> * Lazy Dynamic Programming</div><div class="gmail_default"> Domain: <a href="http://jelv.is">jelv.is</a>, Score: 64, Comments: 12</div><div class="gmail_default"> Original: [11] <a href="http://goo.gl/kdSbkh">http://goo.gl/kdSbkh</a></div>
<div class="gmail_default"> On Reddit: [12] <a href="http://goo.gl/I6XVa8">http://goo.gl/I6XVa8</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * First Person 3D Navigation, written in Elm</div>
<div class="gmail_default"> Domain: <a href="http://github.com">github.com</a>, Score: 62, Comments: 0</div><div class="gmail_default"> Original: [13] <a href="http://goo.gl/qLM3FD">http://goo.gl/qLM3FD</a></div>
<div class="gmail_default">
On Reddit: [14] <a href="http://goo.gl/CRNW6M">http://goo.gl/CRNW6M</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Haskell Platform Redesign</div><div class="gmail_default"> Domain: self.haskell, Score: 57, Comments: 39</div>
<div class="gmail_default"> Original: [15] <a href="http://goo.gl/A2OqV4">http://goo.gl/A2OqV4</a></div><div class="gmail_default"> On Reddit: [16] <a href="http://goo.gl/A2OqV4">http://goo.gl/A2OqV4</a></div><div class="gmail_default">
<br></div><div class="gmail_default"> * Benjamin Pierce on clean-slate security architectures</div><div class="gmail_default"> Domain: <a href="http://intelligence.org">intelligence.org</a>, Score: 54, Comments: 2</div>
<div class="gmail_default"> Original: [17] <a href="http://goo.gl/dCWGlr">http://goo.gl/dCWGlr</a></div><div class="gmail_default"> On Reddit: [18] <a href="http://goo.gl/ns7SF6">http://goo.gl/ns7SF6</a></div><div class="gmail_default">
<br></div><div class="gmail_default"> * Idris 0.9.13 released, featuring a new erasure implementation, </div><div class="gmail_default"> Haddock- and Hoogle-inspired tools, and improved IDE support</div><div class="gmail_default">
Domain: <a href="http://idris-lang.org">idris-lang.org</a>, Score: 53, Comments: 6</div><div class="gmail_default"> Original: [19] <a href="http://goo.gl/rf9i2U">http://goo.gl/rf9i2U</a></div><div class="gmail_default">
On Reddit: [20] <a href="http://goo.gl/tByoYR">http://goo.gl/tByoYR</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Brilliant explanation of Free Monad + Interpreter pattern.</div><div class="gmail_default">
Domain: <a href="http://programmers.stackexchange.com">programmers.stackexchange.com</a>, Score: 52, Comments: 16</div><div class="gmail_default"> Original: [21] <a href="http://goo.gl/5wVfG1">http://goo.gl/5wVfG1</a></div>
<div class="gmail_default"> On Reddit: [22] <a href="http://goo.gl/bCb0tD">http://goo.gl/bCb0tD</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * I got lenses in my Functor</div><div class="gmail_default">
Domain: <a href="http://izbicki.me">izbicki.me</a>, Score: 52, Comments: 35</div><div class="gmail_default"> Original: [23] <a href="http://goo.gl/9xAo4g">http://goo.gl/9xAo4g</a></div><div class="gmail_default">
On Reddit: [24] <a href="http://goo.gl/kZBcK8">http://goo.gl/kZBcK8</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * The GHC Runtime System [pdf]</div><div class="gmail_default"> Domain: <a href="http://scs.stanford.edu">scs.stanford.edu</a>, Score: 50, Comments: 15</div>
<div class="gmail_default"> Original: [25] <a href="http://goo.gl/J2iH4W">http://goo.gl/J2iH4W</a></div><div class="gmail_default"> On Reddit: [26] <a href="http://goo.gl/B2AiSo">http://goo.gl/B2AiSo</a></div><div class="gmail_default">
<br></div><div class="gmail_default"> * The typeparams library provides a lens-like interface for type level </div><div class="gmail_default"> parameters; it allows unboxing unboxed vectors </div><div class="gmail_default">
(with benchmarks indicating a 25% performance gain) </div><div class="gmail_default"> and supercompilation-like optimizations </div><div class="gmail_default"> (with benchmarks showing 40x performance gain in some cases)</div>
<div class="gmail_default"> Domain: <a href="http://github.com">github.com</a>, Score: 49, Comments: 14</div><div class="gmail_default"> Original: [27] <a href="http://goo.gl/jzIn2E">http://goo.gl/jzIn2E</a></div>
<div class="gmail_default"> On Reddit: [28] <a href="http://goo.gl/fdiRHU">http://goo.gl/fdiRHU</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * LiquidHaskell: Pointers Gone Wild</div><div class="gmail_default">
Domain: <a href="http://goto.ucsd.edu">goto.ucsd.edu</a>, Score: 48, Comments: 16</div><div class="gmail_default"> Original: [29] <a href="http://goo.gl/aKyRnQ">http://goo.gl/aKyRnQ</a></div><div class="gmail_default">
On Reddit: [30] <a href="http://goo.gl/pexvtf">http://goo.gl/pexvtf</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Sed implementation in Haskell - Episode 6 [youtube]</div><div class="gmail_default">
Domain: <a href="http://youtube.com">youtube.com</a>, Score: 45, Comments: 5</div><div class="gmail_default"> Original: [31] <a href="http://goo.gl/JQ2ONf">http://goo.gl/JQ2ONf</a></div><div class="gmail_default">
On Reddit: [32] <a href="http://goo.gl/vLQWVJ">http://goo.gl/vLQWVJ</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Call Arity [pdf]: A new analysis implemented in GHC</div><div class="gmail_default">
Domain: <a href="http://joachim-breitner.de">joachim-breitner.de</a>, Score: 44, Comments: 6</div><div class="gmail_default"> Original: [33] <a href="http://goo.gl/BdEFfs">http://goo.gl/BdEFfs</a></div><div class="gmail_default">
On Reddit: [34] <a href="http://goo.gl/OSv5Rb">http://goo.gl/OSv5Rb</a></div><div class="gmail_default"><br></div><div class="gmail_default">Top StackOverflow Questions</div><div class="gmail_default"><br></div><div class="gmail_default">
* Understanding Haskell's Bool Deriving an Ord</div><div class="gmail_default"> votes: 17, answers: 2</div><div class="gmail_default"> Read on SO: [35] <a href="http://goo.gl/7W9WRb">http://goo.gl/7W9WRb</a></div>
<div class="gmail_default"><br></div><div class="gmail_default"> * Precise flow control in Haskell</div><div class="gmail_default"> votes: 14, answers: 0</div><div class="gmail_default"> Read on SO: [36] <a href="http://goo.gl/uoA9i1">http://goo.gl/uoA9i1</a></div>
<div class="gmail_default"><br></div><div class="gmail_default"> * Why aren't there existentially quantified type variables in GHC Haskell</div><div class="gmail_default"> votes: 14, answers: 2</div><div class="gmail_default">
Read on SO: [37] <a href="http://goo.gl/ZeBJTK">http://goo.gl/ZeBJTK</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Is the concept of an “interleaved homomorphism” a real thing?</div><div class="gmail_default">
votes: 14, answers: 3</div><div class="gmail_default"> Read on SO: [38] <a href="http://goo.gl/gpIH6b">http://goo.gl/gpIH6b</a></div><div class="gmail_default"><br></div><div class="gmail_default"> * Is it possible to get `-=` working with literals?</div>
<div class="gmail_default"> votes: 12, answers: 1</div><div class="gmail_default"> Read on SO: [39] <a href="http://goo.gl/R40i7q">http://goo.gl/R40i7q</a></div><div class="gmail_default"><br></div><div class="gmail_default">
* How much overhead does sparking incur?</div><div class="gmail_default"> votes: 11, answers: 1</div><div class="gmail_default"> Read on SO: [40] <a href="http://goo.gl/ixWkKL">http://goo.gl/ixWkKL</a></div><div class="gmail_default">
<br></div><div class="gmail_default">Until next time,</div><div class="gmail_default">[41]+Daniel Santa Cruz</div><div class="gmail_default"><br></div><div class="gmail_default">References</div><div class="gmail_default">
<br></div><div class="gmail_default"> 1. <a href="http://chrisdone.com/posts/haskell-lang">http://chrisdone.com/posts/haskell-lang</a></div><div class="gmail_default"> 2. <a href="http://www.reddit.com/r/haskell/comments/26rilp/an_alternative_haskell_home_page/">http://www.reddit.com/r/haskell/comments/26rilp/an_alternative_haskell_home_page/</a></div>
<div class="gmail_default"> 3. <a href="http://www.serpentine.com/blog/2014/05/31/attoparsec/">http://www.serpentine.com/blog/2014/05/31/attoparsec/</a></div><div class="gmail_default"> 4. <a href="http://www.reddit.com/r/haskell/comments/26xyah/third_generation_of_the_attoparsec_parsing_library/">http://www.reddit.com/r/haskell/comments/26xyah/third_generation_of_the_attoparsec_parsing_library/</a></div>
<div class="gmail_default"> 5. <a href="http://music-suite.github.io/docs/ref/">http://music-suite.github.io/docs/ref/</a></div><div class="gmail_default"> 6. <a href="http://www.reddit.com/r/haskell/comments/27djwy/musicsuite/">http://www.reddit.com/r/haskell/comments/27djwy/musicsuite/</a></div>
<div class="gmail_default"> 7. <a href="https://www.edx.org/course/delftx/delftx-fp101x-introduction-functional-2126">https://www.edx.org/course/delftx/delftx-fp101x-introduction-functional-2126</a></div><div class="gmail_default">
8. <a href="http://www.reddit.com/r/haskell/comments/27bnt7/erik_meijer_introduction_to_functional_programming/">http://www.reddit.com/r/haskell/comments/27bnt7/erik_meijer_introduction_to_functional_programming/</a></div>
<div class="gmail_default"> 9. <a href="http://techblog.realestate.com.au/the-abject-failure-of-weak-typing/">http://techblog.realestate.com.au/the-abject-failure-of-weak-typing/</a></div><div class="gmail_default"> 10. <a href="http://www.reddit.com/r/haskell/comments/26pi5b/the_abject_failure_of_weak_typing/">http://www.reddit.com/r/haskell/comments/26pi5b/the_abject_failure_of_weak_typing/</a></div>
<div class="gmail_default"> 11. <a href="http://jelv.is/blog/Lazy-Dynamic-Programming">http://jelv.is/blog/Lazy-Dynamic-Programming</a></div><div class="gmail_default"> 12. <a href="http://www.reddit.com/r/haskell/comments/26jh2w/lazy_dynamic_programming/">http://www.reddit.com/r/haskell/comments/26jh2w/lazy_dynamic_programming/</a></div>
<div class="gmail_default"> 13. <a href="https://github.com/evancz/first-person-elm#first-person-3d-navigation-in-elm">https://github.com/evancz/first-person-elm#first-person-3d-navigation-in-elm</a></div><div class="gmail_default">
14. <a href="http://www.reddit.com/r/haskell/comments/26mjak/first_person_3d_navigation_written_in_elm/">http://www.reddit.com/r/haskell/comments/26mjak/first_person_3d_navigation_written_in_elm/</a></div><div class="gmail_default">
15. <a href="http://www.reddit.com/r/haskell/comments/26g9y8/haskell_platform_redesign/">http://www.reddit.com/r/haskell/comments/26g9y8/haskell_platform_redesign/</a></div><div class="gmail_default"> 16. <a href="http://www.reddit.com/r/haskell/comments/26g9y8/haskell_platform_redesign/">http://www.reddit.com/r/haskell/comments/26g9y8/haskell_platform_redesign/</a></div>
<div class="gmail_default"> 17. <a href="http://intelligence.org/2014/05/11/benjamin-pierce/">http://intelligence.org/2014/05/11/benjamin-pierce/</a></div><div class="gmail_default"> 18. <a href="http://www.reddit.com/r/haskell/comments/274k69/benjamin_pierce_on_cleanslate_security/">http://www.reddit.com/r/haskell/comments/274k69/benjamin_pierce_on_cleanslate_security/</a></div>
<div class="gmail_default"> 19. <a href="http://www.idris-lang.org/idris-0-9-13-released/">http://www.idris-lang.org/idris-0-9-13-released/</a></div><div class="gmail_default"> 20. <a href="http://www.reddit.com/r/haskell/comments/279wl7/idris_0913_released_featuring_a_new_erasure/">http://www.reddit.com/r/haskell/comments/279wl7/idris_0913_released_featuring_a_new_erasure/</a></div>
<div class="gmail_default"> 21. <a href="http://programmers.stackexchange.com/questions/242795/what-is-the-free-monad-interpreter-pattern">http://programmers.stackexchange.com/questions/242795/what-is-the-free-monad-interpreter-pattern</a></div>
<div class="gmail_default"> 22. <a href="http://www.reddit.com/r/haskell/comments/2788cw/brilliant_explanation_of_free_monad_interpreter/">http://www.reddit.com/r/haskell/comments/2788cw/brilliant_explanation_of_free_monad_interpreter/</a></div>
<div class="gmail_default"> 23. <a href="http://izbicki.me/blog/i-got-lenses-in-my-functors">http://izbicki.me/blog/i-got-lenses-in-my-functors</a></div><div class="gmail_default"> 24. <a href="http://www.reddit.com/r/haskell/comments/27h0wk/i_got_lenses_in_my_functor/">http://www.reddit.com/r/haskell/comments/27h0wk/i_got_lenses_in_my_functor/</a></div>
<div class="gmail_default"> 25. <a href="http://www.scs.stanford.edu/14sp-cs240h/slides/ghc-rts.pdf">http://www.scs.stanford.edu/14sp-cs240h/slides/ghc-rts.pdf</a></div><div class="gmail_default"> 26. <a href="http://www.reddit.com/r/haskell/comments/26qshw/the_ghc_runtime_system_pdf/">http://www.reddit.com/r/haskell/comments/26qshw/the_ghc_runtime_system_pdf/</a></div>
<div class="gmail_default"> 27. <a href="https://github.com/mikeizbicki/typeparams#the-typeparams-library">https://github.com/mikeizbicki/typeparams#the-typeparams-library</a></div><div class="gmail_default"> 28. <a href="http://www.reddit.com/r/haskell/comments/27avw8/the_typeparams_library_provides_a_lenslike/">http://www.reddit.com/r/haskell/comments/27avw8/the_typeparams_library_provides_a_lenslike/</a></div>
<div class="gmail_default"> 29. <a href="http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2014/05/28/pointers-gone-wild.lhs/">http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2014/05/28/pointers-gone-wild.lhs/</a></div>
<div class="gmail_default"> 30. <a href="http://www.reddit.com/r/haskell/comments/26redl/liquidhaskell_pointers_gone_wild/">http://www.reddit.com/r/haskell/comments/26redl/liquidhaskell_pointers_gone_wild/</a></div><div class="gmail_default">
31. <a href="https://www.youtube.com/watch?v=GKRjVITL_oA">https://www.youtube.com/watch?v=GKRjVITL_oA</a></div><div class="gmail_default"> 32. <a href="http://www.reddit.com/r/haskell/comments/26th92/sed_implementation_in_haskell_episode_6_youtube/">http://www.reddit.com/r/haskell/comments/26th92/sed_implementation_in_haskell_episode_6_youtube/</a></div>
<div class="gmail_default"> 33. <a href="http://www.joachim-breitner.de/publications/CallArity-TFP.pdf">http://www.joachim-breitner.de/publications/CallArity-TFP.pdf</a></div><div class="gmail_default"> 34. <a href="http://www.reddit.com/r/haskell/comments/26fdxq/call_arity_pdf_a_new_analysis_implemented_in_ghc/">http://www.reddit.com/r/haskell/comments/26fdxq/call_arity_pdf_a_new_analysis_implemented_in_ghc/</a></div>
<div class="gmail_default"> 35. <a href="http://stackoverflow.com/questions/23880626/understanding-haskells-bool-deriving-an-ord">http://stackoverflow.com/questions/23880626/understanding-haskells-bool-deriving-an-ord</a></div>
<div class="gmail_default"> 36. <a href="http://stackoverflow.com/questions/23869547/precise-flow-control-in-haskell">http://stackoverflow.com/questions/23869547/precise-flow-control-in-haskell</a></div><div class="gmail_default">
37. <a href="http://stackoverflow.com/questions/23940487/why-arent-there-existentially-quantified-type-variables-in-ghc-haskell">http://stackoverflow.com/questions/23940487/why-arent-there-existentially-quantified-type-variables-in-ghc-haskell</a></div>
<div class="gmail_default"> 38. <a href="http://stackoverflow.com/questions/24090758/is-the-concept-of-an-interleaved-homomorphism-a-real-thing">http://stackoverflow.com/questions/24090758/is-the-concept-of-an-interleaved-homomorphism-a-real-thing</a></div>
<div class="gmail_default"> 39. <a href="http://stackoverflow.com/questions/23875471/is-it-possible-to-get-working-with-literals">http://stackoverflow.com/questions/23875471/is-it-possible-to-get-working-with-literals</a></div>
<div class="gmail_default"> 40. <a href="http://stackoverflow.com/questions/23877737/how-much-overhead-does-sparking-incur">http://stackoverflow.com/questions/23877737/how-much-overhead-does-sparking-incur</a></div><div class="gmail_default">
41. <a href="https://plus.google.com/105107667630152149014/about">https://plus.google.com/105107667630152149014/about</a></div><div><br></div></div></div>