<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><div class="gmail_default">Welcome to issue 306 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 September 07 to 13, 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">   * prophile: at this point ekmett is more part of the language than a</div><div class="gmail_default">     practitioner of it</div><div class="gmail_default"><br></div><div class="gmail_default">   * Qfwfq: Simon is a title, not a forename.</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">   * Haskell for all: Morte: an intermediate language for super-optimizing</div><div class="gmail_default">     functional programs</div><div class="gmail_default">     Domain: <a href="http://haskellforall.com">haskellforall.com</a>, Score: 110, Comments: 83</div><div class="gmail_default">     Original: [1] <a href="http://goo.gl/MjPyyr">http://goo.gl/MjPyyr</a></div><div class="gmail_default">     On Reddit: [2] <a href="http://goo.gl/v2btl4">http://goo.gl/v2btl4</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * AMP has landed in GHC Main!</div><div class="gmail_default">     Domain: <a href="http://haskell.org">haskell.org</a>, Score: 88, Comments: 71</div><div class="gmail_default">     Original: [3] <a href="http://goo.gl/giu1Xh">http://goo.gl/giu1Xh</a></div><div class="gmail_default">     On Reddit: [4] <a href="http://goo.gl/ZGJ76S">http://goo.gl/ZGJ76S</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * [Meta] What's with all these downvotes on beginner questions?</div><div class="gmail_default">     Domain: self.haskell, Score: 69, Comments: 67</div><div class="gmail_default">     Original: [5] <a href="http://goo.gl/ik2uu2">http://goo.gl/ik2uu2</a></div><div class="gmail_default">     On Reddit: [6] <a href="http://goo.gl/ik2uu2">http://goo.gl/ik2uu2</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Haskell Implementors Workshop 2014 videos [youtube]</div><div class="gmail_default">     Domain: <a href="http://youtube.com">youtube.com</a>, Score: 59, Comments: 11</div><div class="gmail_default">     Original: [7] <a href="http://goo.gl/ijM6hs">http://goo.gl/ijM6hs</a></div><div class="gmail_default">     On Reddit: [8] <a href="http://goo.gl/48GOSr">http://goo.gl/48GOSr</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * FP Complete is hiring: Haskell web UI developer</div><div class="gmail_default">     Domain: <a href="http://fpcomplete.com">fpcomplete.com</a>, Score: 59, Comments: 14</div><div class="gmail_default">     Original: [9] <a href="http://goo.gl/0kPlFl">http://goo.gl/0kPlFl</a></div><div class="gmail_default">     On Reddit: [10] <a href="http://goo.gl/WtivSo">http://goo.gl/WtivSo</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * How to get (approx) stack traces with profiled builds</div><div class="gmail_default">     Domain: self.haskell, Score: 46, Comments: 15</div><div class="gmail_default">     Original: [11] <a href="http://goo.gl/ZAurK6">http://goo.gl/ZAurK6</a></div><div class="gmail_default">     On Reddit: [12] <a href="http://goo.gl/ZAurK6">http://goo.gl/ZAurK6</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Hakaru: An embedded probabilistic programming language</div><div class="gmail_default">     Domain: <a href="http://indiana.edu">indiana.edu</a>, Score: 40, Comments: 10</div><div class="gmail_default">     Original: [13] <a href="http://goo.gl/PLcCGW">http://goo.gl/PLcCGW</a></div><div class="gmail_default">     On Reddit: [14] <a href="http://goo.gl/aP7giY">http://goo.gl/aP7giY</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Why does David Turner say type classes were a bad idea?</div><div class="gmail_default">     Domain: self.haskell, Score: 37, Comments: 96</div><div class="gmail_default">     Original: [15] <a href="http://goo.gl/WqRLZQ">http://goo.gl/WqRLZQ</a></div><div class="gmail_default">     On Reddit: [16] <a href="http://goo.gl/WqRLZQ">http://goo.gl/WqRLZQ</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Let's Build a Browser Engine in Haskell: Part 2</div><div class="gmail_default">     Domain: <a href="http://hrothen.github.io">hrothen.github.io</a>, Score: 33, Comments: 14</div><div class="gmail_default">     Original: [17] <a href="http://goo.gl/PyxMOy">http://goo.gl/PyxMOy</a></div><div class="gmail_default">     On Reddit: [18] <a href="http://goo.gl/45L7hs">http://goo.gl/45L7hs</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Proposal for copatterns in Idris</div><div class="gmail_default">     Domain: <a href="http://github.com">github.com</a>, Score: 30, Comments: 38</div><div class="gmail_default">     Original: [19] <a href="http://goo.gl/7Zv7U1">http://goo.gl/7Zv7U1</a></div><div class="gmail_default">     On Reddit: [20] <a href="http://goo.gl/pPIq8p">http://goo.gl/pPIq8p</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * GHC Blog: Static pointers and serialisation (by SPJ)</div><div class="gmail_default">     Domain: <a href="http://ghc.haskell.org">ghc.haskell.org</a>, Score: 28, Comments: 2</div><div class="gmail_default">     Original: [21] <a href="http://goo.gl/HJrm4t">http://goo.gl/HJrm4t</a></div><div class="gmail_default">     On Reddit: [22] <a href="http://goo.gl/kPxJj5">http://goo.gl/kPxJj5</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * introduction to the basic lens operators</div><div class="gmail_default">     Domain: <a href="http://intolerable.me">intolerable.me</a>, Score: 26, Comments: 12</div><div class="gmail_default">     Original: [23] <a href="http://goo.gl/VXlKnm">http://goo.gl/VXlKnm</a></div><div class="gmail_default">     On Reddit: [24] <a href="http://goo.gl/b0bLfE">http://goo.gl/b0bLfE</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Prisms lead to typeclasses for subtractive types</div><div class="gmail_default">     Domain: <a href="http://gelisam.blogspot.ca">gelisam.blogspot.ca</a>, Score: 22, Comments: 6</div><div class="gmail_default">     Original: [25] <a href="http://goo.gl/l9QIIm">http://goo.gl/l9QIIm</a></div><div class="gmail_default">     On Reddit: [26] <a href="http://goo.gl/GMD5Cj">http://goo.gl/GMD5Cj</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Preventing memoization in (AI) search problems</div><div class="gmail_default">     Domain: <a href="http://okmij.org">okmij.org</a>, Score: 22, Comments: 16</div><div class="gmail_default">     Original: [27] <a href="http://goo.gl/oEb6WD">http://goo.gl/oEb6WD</a></div><div class="gmail_default">     On Reddit: [28] <a href="http://goo.gl/jqVKPS">http://goo.gl/jqVKPS</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * A shallow survey of formal methods for C code</div><div class="gmail_default">     Domain: <a href="http://imperialviolet.org">imperialviolet.org</a>, Score: 21, Comments: 7</div><div class="gmail_default">     Original: [29] <a href="http://goo.gl/rJgycy">http://goo.gl/rJgycy</a></div><div class="gmail_default">     On Reddit: [30] <a href="http://goo.gl/RrXwns">http://goo.gl/RrXwns</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Haskell Lectures</div><div class="gmail_default">     Domain: <a href="http://shuklan.com">shuklan.com</a>, Score: 21, Comments: 1</div><div class="gmail_default">     Original: [31] <a href="http://goo.gl/Ef0E4">http://goo.gl/Ef0E4</a></div><div class="gmail_default">     On Reddit: [32] <a href="http://goo.gl/VASdCX">http://goo.gl/VASdCX</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * A Netwire 5 Tutorial</div><div class="gmail_default">     Domain: self.haskell, Score: 20, Comments: 5</div><div class="gmail_default">     Original: [33] <a href="http://goo.gl/BmcKWr">http://goo.gl/BmcKWr</a></div><div class="gmail_default">     On Reddit: [34] <a href="http://goo.gl/BmcKWr">http://goo.gl/BmcKWr</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Haskell Symposium talk on inline Objective-C in Haskell</div><div class="gmail_default">     Domain: <a href="http://speakerdeck.com">speakerdeck.com</a>, Score: 20, Comments: 0</div><div class="gmail_default">     Original: [35] <a href="http://goo.gl/VDHOiP">http://goo.gl/VDHOiP</a></div><div class="gmail_default">     On Reddit: [36] <a href="http://goo.gl/TyL90G">http://goo.gl/TyL90G</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * HaLVM / Unikernel talk at the Xen User Summit on Monday, September 15th</div><div class="gmail_default">     Domain: <a href="http://sched.co">sched.co</a>, Score: 19, Comments: 8</div><div class="gmail_default">     Original: [37] <a href="http://goo.gl/HoVwWT">http://goo.gl/HoVwWT</a></div><div class="gmail_default">     On Reddit: [38] <a href="http://goo.gl/9lqCE0">http://goo.gl/9lqCE0</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Fun with (Extended Kalman) Filters</div><div class="gmail_default">     Domain: <a href="http://idontgetoutmuch.wordpress.com">idontgetoutmuch.wordpress.com</a>, Score: 18, Comments: 2</div><div class="gmail_default">     Original: [39] <a href="http://goo.gl/8EGSQR">http://goo.gl/8EGSQR</a></div><div class="gmail_default">     On Reddit: [40] <a href="http://goo.gl/aTASRU">http://goo.gl/aTASRU</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">   * Why does OCaml sometimes require eta expansion?</div><div class="gmail_default">     votes: 12, answers: 1</div><div class="gmail_default">     Read on SO: [41] <a href="http://goo.gl/TsBuz5">http://goo.gl/TsBuz5</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Can Haskell evaluate and not garbage collect random indexes in a list?</div><div class="gmail_default">     votes: 11, answers: 2</div><div class="gmail_default">     Read on SO: [42] <a href="http://goo.gl/zXsBT1">http://goo.gl/zXsBT1</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * How do I install dependencies when cross compiling haskell code?</div><div class="gmail_default">     votes: 10, answers: 1</div><div class="gmail_default">     Read on SO: [43] <a href="http://goo.gl/3qH6zK">http://goo.gl/3qH6zK</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Haskell lenses: how to make view play nicely with traverse?</div><div class="gmail_default">     votes: 10, answers: 3</div><div class="gmail_default">     Read on SO: [44] <a href="http://goo.gl/EWrR5j">http://goo.gl/EWrR5j</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * Is there an instance of Monad but not of MonadFix?</div><div class="gmail_default">     votes: 10, answers: 2</div><div class="gmail_default">     Read on SO: [45] <a href="http://goo.gl/EAh0qc">http://goo.gl/EAh0qc</a></div><div class="gmail_default"><br></div><div class="gmail_default">   * How can the continuation monad be expressed using the free monad?</div><div class="gmail_default">     votes: 10, answers: 3</div><div class="gmail_default">     Read on SO: [46] <a href="http://goo.gl/ymMoFw">http://goo.gl/ymMoFw</a></div><div class="gmail_default"><br></div><div class="gmail_default">Until next time,</div><div class="gmail_default">[47]+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://www.haskellforall.com/2014/09/morte-intermediate-language-for-super.html">http://www.haskellforall.com/2014/09/morte-intermediate-language-for-super.html</a></div><div class="gmail_default">   2. <a href="http://www.reddit.com/r/haskell/comments/2g6wsx/haskell_for_all_morte_an_intermediate_language/">http://www.reddit.com/r/haskell/comments/2g6wsx/haskell_for_all_morte_an_intermediate_language/</a></div><div class="gmail_default">   3. <a href="http://www.haskell.org/pipermail/ghc-devs/2014-September/006265.html">http://www.haskell.org/pipermail/ghc-devs/2014-September/006265.html</a></div><div class="gmail_default">   4. <a href="http://www.reddit.com/r/haskell/comments/2fxqts/amp_has_landed_in_ghc_main/">http://www.reddit.com/r/haskell/comments/2fxqts/amp_has_landed_in_ghc_main/</a></div><div class="gmail_default">   5. <a href="http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_downvotes_on_beginner/">http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_downvotes_on_beginner/</a></div><div class="gmail_default">   6. <a href="http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_downvotes_on_beginner/">http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_downvotes_on_beginner/</a></div><div class="gmail_default">   7. <a href="https://www.youtube.com/playlist?list=PL4UWOFngo5DW6nKDjK0UB5Oy9zmdWdo7K">https://www.youtube.com/playlist?list=PL4UWOFngo5DW6nKDjK0UB5Oy9zmdWdo7K</a></div><div class="gmail_default">   8. <a href="http://www.reddit.com/r/haskell/comments/2frhfn/haskell_implementors_workshop_2014_videos_youtube/">http://www.reddit.com/r/haskell/comments/2frhfn/haskell_implementors_workshop_2014_videos_youtube/</a></div><div class="gmail_default">   9. <a href="https://www.fpcomplete.com/blog/2014/09/hiring-haskell-web-ui-dev">https://www.fpcomplete.com/blog/2014/09/hiring-haskell-web-ui-dev</a></div><div class="gmail_default">  10. <a href="http://www.reddit.com/r/haskell/comments/2g4mdu/fp_complete_is_hiring_haskell_web_ui_developer/">http://www.reddit.com/r/haskell/comments/2g4mdu/fp_complete_is_hiring_haskell_web_ui_developer/</a></div><div class="gmail_default">  11. <a href="http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_traces_with_profiled/">http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_traces_with_profiled/</a></div><div class="gmail_default">  12. <a href="http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_traces_with_profiled/">http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_traces_with_profiled/</a></div><div class="gmail_default">  13. <a href="http://indiana.edu/~ppaml/">http://indiana.edu/~ppaml/</a></div><div class="gmail_default">  14. <a href="http://www.reddit.com/r/haskell/comments/2g4q81/hakaru_an_embedded_probabilistic_programming/">http://www.reddit.com/r/haskell/comments/2g4q81/hakaru_an_embedded_probabilistic_programming/</a></div><div class="gmail_default">  15. <a href="http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_type_classes_were_a_bad/">http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_type_classes_were_a_bad/</a></div><div class="gmail_default">  16. <a href="http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_type_classes_were_a_bad/">http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_type_classes_were_a_bad/</a></div><div class="gmail_default">  17. <a href="http://hrothen.github.io/2014/09/08/lets-build-a-browser-engine-in-haskell-part-2/">http://hrothen.github.io/2014/09/08/lets-build-a-browser-engine-in-haskell-part-2/</a></div><div class="gmail_default">  18. <a href="http://www.reddit.com/r/haskell/comments/2fu2l5/lets_build_a_browser_engine_in_haskell_part_2/">http://www.reddit.com/r/haskell/comments/2fu2l5/lets_build_a_browser_engine_in_haskell_part_2/</a></div><div class="gmail_default">  19. <a href="https://github.com/idris-lang/Idris-dev/wiki/Copatterns">https://github.com/idris-lang/Idris-dev/wiki/Copatterns</a></div><div class="gmail_default">  20. <a href="http://www.reddit.com/r/haskell/comments/2fy1hj/proposal_for_copatterns_in_idris/">http://www.reddit.com/r/haskell/comments/2fy1hj/proposal_for_copatterns_in_idris/</a></div><div class="gmail_default">  21. <a href="https://ghc.haskell.org/trac/ghc/blog/simonpj/StaticPointers">https://ghc.haskell.org/trac/ghc/blog/simonpj/StaticPointers</a></div><div class="gmail_default">  22. <a href="http://www.reddit.com/r/haskell/comments/2g4vvf/ghc_blog_static_pointers_and_serialisation_by_spj/">http://www.reddit.com/r/haskell/comments/2g4vvf/ghc_blog_static_pointers_and_serialisation_by_spj/</a></div><div class="gmail_default">  23. <a href="http://intolerable.me/lens-operators-intro/">http://intolerable.me/lens-operators-intro/</a></div><div class="gmail_default">  24. <a href="http://www.reddit.com/r/haskell/comments/2fud8k/introduction_to_the_basic_lens_operators/">http://www.reddit.com/r/haskell/comments/2fud8k/introduction_to_the_basic_lens_operators/</a></div><div class="gmail_default">  25. <a href="http://gelisam.blogspot.ca/2014/09/prisms-lead-to-typeclasses-for.html">http://gelisam.blogspot.ca/2014/09/prisms-lead-to-typeclasses-for.html</a></div><div class="gmail_default">  26. <a href="http://www.reddit.com/r/haskell/comments/2foz4a/prisms_lead_to_typeclasses_for_subtractive_types/">http://www.reddit.com/r/haskell/comments/2foz4a/prisms_lead_to_typeclasses_for_subtractive_types/</a></div><div class="gmail_default">  27. <a href="http://okmij.org/ftp/Haskell/#memo-off">http://okmij.org/ftp/Haskell/#memo-off</a></div><div class="gmail_default">  28. <a href="http://www.reddit.com/r/haskell/comments/2g9akh/preventing_memoization_in_ai_search_problems/">http://www.reddit.com/r/haskell/comments/2g9akh/preventing_memoization_in_ai_search_problems/</a></div><div class="gmail_default">  29. <a href="https://www.imperialviolet.org/2014/09/07/provers.html">https://www.imperialviolet.org/2014/09/07/provers.html</a></div><div class="gmail_default">  30. <a href="http://www.reddit.com/r/haskell/comments/2fsvns/a_shallow_survey_of_formal_methods_for_c_code/">http://www.reddit.com/r/haskell/comments/2fsvns/a_shallow_survey_of_formal_methods_for_c_code/</a></div><div class="gmail_default">  31. <a href="http://shuklan.com/haskell/">http://shuklan.com/haskell/</a></div><div class="gmail_default">  32. <a href="http://www.reddit.com/r/haskell/comments/2g672e/haskell_lectures/">http://www.reddit.com/r/haskell/comments/2g672e/haskell_lectures/</a></div><div class="gmail_default">  33. <a href="http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/">http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/</a></div><div class="gmail_default">  34. <a href="http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/">http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/</a></div><div class="gmail_default">  35. <a href="https://speakerdeck.com/mchakravarty/foreign-inline-code-in-haskell-haskell-symposium-2014">https://speakerdeck.com/mchakravarty/foreign-inline-code-in-haskell-haskell-symposium-2014</a></div><div class="gmail_default">  36. <a href="http://www.reddit.com/r/haskell/comments/2fve6k/haskell_symposium_talk_on_inline_objectivec_in/">http://www.reddit.com/r/haskell/comments/2fve6k/haskell_symposium_talk_on_inline_objectivec_in/</a></div><div class="gmail_default">  37. <a href="http://sched.co/1rFBMed">http://sched.co/1rFBMed</a></div><div class="gmail_default">  38. <a href="http://www.reddit.com/r/haskell/comments/2g2sa0/halvm_unikernel_talk_at_the_xen_user_summit_on/">http://www.reddit.com/r/haskell/comments/2g2sa0/halvm_unikernel_talk_at_the_xen_user_summit_on/</a></div><div class="gmail_default">  39. <a href="http://idontgetoutmuch.wordpress.com/2014/09/09/fun-with-extended-kalman-filters-4/">http://idontgetoutmuch.wordpress.com/2014/09/09/fun-with-extended-kalman-filters-4/</a></div><div class="gmail_default">  40. <a href="http://www.reddit.com/r/haskell/comments/2fwbhd/fun_with_extended_kalman_filters/">http://www.reddit.com/r/haskell/comments/2fwbhd/fun_with_extended_kalman_filters/</a></div><div class="gmail_default">  41. <a href="http://stackoverflow.com/questions/25763412/why-does-ocaml-sometimes-require-eta-expansion">http://stackoverflow.com/questions/25763412/why-does-ocaml-sometimes-require-eta-expansion</a></div><div class="gmail_default">  42. <a href="http://stackoverflow.com/questions/25751194/can-haskell-evaluate-and-not-garbage-collect-random-indexes-in-a-list">http://stackoverflow.com/questions/25751194/can-haskell-evaluate-and-not-garbage-collect-random-indexes-in-a-list</a></div><div class="gmail_default">  43. <a href="http://stackoverflow.com/questions/25765893/how-do-i-install-dependencies-when-cross-compiling-haskell-code">http://stackoverflow.com/questions/25765893/how-do-i-install-dependencies-when-cross-compiling-haskell-code</a></div><div class="gmail_default">  44. <a href="http://stackoverflow.com/questions/25773444/haskell-lenses-how-to-make-view-play-nicely-with-traverse">http://stackoverflow.com/questions/25773444/haskell-lenses-how-to-make-view-play-nicely-with-traverse</a></div><div class="gmail_default">  45. <a href="http://stackoverflow.com/questions/25814489/is-there-an-instance-of-monad-but-not-of-monadfix">http://stackoverflow.com/questions/25814489/is-there-an-instance-of-monad-but-not-of-monadfix</a></div><div class="gmail_default">  46. <a href="http://stackoverflow.com/questions/25827271/how-can-the-continuation-monad-be-expressed-using-the-free-monad">http://stackoverflow.com/questions/25827271/how-can-the-continuation-monad-be-expressed-using-the-free-monad</a></div><div class="gmail_default">  47. <a href="https://plus.google.com/105107667630152149014/about">https://plus.google.com/105107667630152149014/about</a></div><div class="gmail_default"> </div><div><br></div></div></div>