Welcome to issue 306 of the HWN, an issue covering crowd-sourced bits

of information about Haskell from around the web. This issue covers

from September 07 to 13, 2014

Quotes of the Week

   * prophile: at this point ekmett is more part of the language than a

     practitioner of it

   * Qfwfq: Simon is a title, not a forename.

Top Reddit Stories

   * Haskell for all: Morte: an intermediate language for super-optimizing

     functional programs

     Domain: haskellforall.com, Score: 110, Comments: 83

     Original: [1] http://goo.gl/MjPyyr

     On Reddit: [2] http://goo.gl/v2btl4

   * AMP has landed in GHC Main!

     Domain: haskell.org, Score: 88, Comments: 71

     Original: [3] http://goo.gl/giu1Xh

     On Reddit: [4] http://goo.gl/ZGJ76S

   * [Meta] What's with all these downvotes on beginner questions?

     Domain: self.haskell, Score: 69, Comments: 67

     Original: [5] http://goo.gl/ik2uu2

     On Reddit: [6] http://goo.gl/ik2uu2

   * Haskell Implementors Workshop 2014 videos [youtube]

     Domain: youtube.com, Score: 59, Comments: 11

     Original: [7] http://goo.gl/ijM6hs

     On Reddit: [8] http://goo.gl/48GOSr

   * FP Complete is hiring: Haskell web UI developer

     Domain: fpcomplete.com, Score: 59, Comments: 14

     Original: [9] http://goo.gl/0kPlFl

     On Reddit: [10] http://goo.gl/WtivSo

   * How to get (approx) stack traces with profiled builds

     Domain: self.haskell, Score: 46, Comments: 15

     Original: [11] http://goo.gl/ZAurK6

     On Reddit: [12] http://goo.gl/ZAurK6

   * Hakaru: An embedded probabilistic programming language

     Domain: indiana.edu, Score: 40, Comments: 10

     Original: [13] http://goo.gl/PLcCGW

     On Reddit: [14] http://goo.gl/aP7giY

   * Why does David Turner say type classes were a bad idea?

     Domain: self.haskell, Score: 37, Comments: 96

     Original: [15] http://goo.gl/WqRLZQ

     On Reddit: [16] http://goo.gl/WqRLZQ

   * Let's Build a Browser Engine in Haskell: Part 2

     Domain: hrothen.github.io, Score: 33, Comments: 14

     Original: [17] http://goo.gl/PyxMOy

     On Reddit: [18] http://goo.gl/45L7hs

   * Proposal for copatterns in Idris

     Domain: github.com, Score: 30, Comments: 38

     Original: [19] http://goo.gl/7Zv7U1

     On Reddit: [20] http://goo.gl/pPIq8p

   * GHC Blog: Static pointers and serialisation (by SPJ)

     Domain: ghc.haskell.org, Score: 28, Comments: 2

     Original: [21] http://goo.gl/HJrm4t

     On Reddit: [22] http://goo.gl/kPxJj5

   * introduction to the basic lens operators

     Domain: intolerable.me, Score: 26, Comments: 12

     Original: [23] http://goo.gl/VXlKnm

     On Reddit: [24] http://goo.gl/b0bLfE

   * Prisms lead to typeclasses for subtractive types

     Domain: gelisam.blogspot.ca, Score: 22, Comments: 6

     Original: [25] http://goo.gl/l9QIIm

     On Reddit: [26] http://goo.gl/GMD5Cj

   * Preventing memoization in (AI) search problems

     Domain: okmij.org, Score: 22, Comments: 16

     Original: [27] http://goo.gl/oEb6WD

     On Reddit: [28] http://goo.gl/jqVKPS

   * A shallow survey of formal methods for C code

     Domain: imperialviolet.org, Score: 21, Comments: 7

     Original: [29] http://goo.gl/rJgycy

     On Reddit: [30] http://goo.gl/RrXwns

   * Haskell Lectures

     Domain: shuklan.com, Score: 21, Comments: 1

     Original: [31] http://goo.gl/Ef0E4

     On Reddit: [32] http://goo.gl/VASdCX

   * A Netwire 5 Tutorial

     Domain: self.haskell, Score: 20, Comments: 5

     Original: [33] http://goo.gl/BmcKWr

     On Reddit: [34] http://goo.gl/BmcKWr

   * Haskell Symposium talk on inline Objective-C in Haskell

     Domain: speakerdeck.com, Score: 20, Comments: 0

     Original: [35] http://goo.gl/VDHOiP

     On Reddit: [36] http://goo.gl/TyL90G

   * HaLVM / Unikernel talk at the Xen User Summit on Monday, September 15th

     Domain: sched.co, Score: 19, Comments: 8

     Original: [37] http://goo.gl/HoVwWT

     On Reddit: [38] http://goo.gl/9lqCE0

   * Fun with (Extended Kalman) Filters

     Domain: idontgetoutmuch.wordpress.com, Score: 18, Comments: 2

     Original: [39] http://goo.gl/8EGSQR

     On Reddit: [40] http://goo.gl/aTASRU

Top StackOverflow Questions

   * Why does OCaml sometimes require eta expansion?

     votes: 12, answers: 1

     Read on SO: [41] http://goo.gl/TsBuz5

   * Can Haskell evaluate and not garbage collect random indexes in a list?

     votes: 11, answers: 2

     Read on SO: [42] http://goo.gl/zXsBT1

   * How do I install dependencies when cross compiling haskell code?

     votes: 10, answers: 1

     Read on SO: [43] http://goo.gl/3qH6zK

   * Haskell lenses: how to make view play nicely with traverse?

     votes: 10, answers: 3

     Read on SO: [44] http://goo.gl/EWrR5j

   * Is there an instance of Monad but not of MonadFix?

     votes: 10, answers: 2

     Read on SO: [45] http://goo.gl/EAh0qc

   * How can the continuation monad be expressed using the free monad?

     votes: 10, answers: 3

     Read on SO: [46] http://goo.gl/ymMoFw

Until next time,

[47]+Daniel Santa Cruz

References

   1. http://www.haskellforall.com/2014/09/morte-intermediate-language-for-super.html

   2. http://www.reddit.com/r/haskell/comments/2g6wsx/haskell_for_all_morte_an_intermediate_language/

   3. http://www.haskell.org/pipermail/ghc-devs/2014-September/006265.html

   4. http://www.reddit.com/r/haskell/comments/2fxqts/amp_has_landed_in_ghc_main/

   5. http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_downvotes_on_beginner/

   6. http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_downvotes_on_beginner/

   7. https://www.youtube.com/playlist?list=PL4UWOFngo5DW6nKDjK0UB5Oy9zmdWdo7K

   8. http://www.reddit.com/r/haskell/comments/2frhfn/haskell_implementors_workshop_2014_videos_youtube/

   9. https://www.fpcomplete.com/blog/2014/09/hiring-haskell-web-ui-dev

  10. http://www.reddit.com/r/haskell/comments/2g4mdu/fp_complete_is_hiring_haskell_web_ui_developer/

  11. http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_traces_with_profiled/

  12. http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_traces_with_profiled/

  13. http://indiana.edu/~ppaml/

  14. http://www.reddit.com/r/haskell/comments/2g4q81/hakaru_an_embedded_probabilistic_programming/

  15. http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_type_classes_were_a_bad/

  16. http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_type_classes_were_a_bad/

  17. http://hrothen.github.io/2014/09/08/lets-build-a-browser-engine-in-haskell-part-2/

  18. http://www.reddit.com/r/haskell/comments/2fu2l5/lets_build_a_browser_engine_in_haskell_part_2/

  19. https://github.com/idris-lang/Idris-dev/wiki/Copatterns

  20. http://www.reddit.com/r/haskell/comments/2fy1hj/proposal_for_copatterns_in_idris/

  21. https://ghc.haskell.org/trac/ghc/blog/simonpj/StaticPointers

  22. http://www.reddit.com/r/haskell/comments/2g4vvf/ghc_blog_static_pointers_and_serialisation_by_spj/

  23. http://intolerable.me/lens-operators-intro/

  24. http://www.reddit.com/r/haskell/comments/2fud8k/introduction_to_the_basic_lens_operators/

  25. http://gelisam.blogspot.ca/2014/09/prisms-lead-to-typeclasses-for.html

  26. http://www.reddit.com/r/haskell/comments/2foz4a/prisms_lead_to_typeclasses_for_subtractive_types/

  27. http://okmij.org/ftp/Haskell/#memo-off

  28. http://www.reddit.com/r/haskell/comments/2g9akh/preventing_memoization_in_ai_search_problems/

  29. https://www.imperialviolet.org/2014/09/07/provers.html

  30. http://www.reddit.com/r/haskell/comments/2fsvns/a_shallow_survey_of_formal_methods_for_c_code/

  31. http://shuklan.com/haskell/

  32. http://www.reddit.com/r/haskell/comments/2g672e/haskell_lectures/

  33. http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/

  34. http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/

  35. https://speakerdeck.com/mchakravarty/foreign-inline-code-in-haskell-haskell-symposium-2014

  36. http://www.reddit.com/r/haskell/comments/2fve6k/haskell_symposium_talk_on_inline_objectivec_in/

  37. http://sched.co/1rFBMed

  38. http://www.reddit.com/r/haskell/comments/2g2sa0/halvm_unikernel_talk_at_the_xen_user_summit_on/

  39. http://idontgetoutmuch.wordpress.com/2014/09/09/fun-with-extended-kalman-filters-4/

  40. http://www.reddit.com/r/haskell/comments/2fwbhd/fun_with_extended_kalman_filters/

  41. http://stackoverflow.com/questions/25763412/why-does-ocaml-sometimes-require-eta-expansion

  42. http://stackoverflow.com/questions/25751194/can-haskell-evaluate-and-not-garbage-collect-random-indexes-in-a-list

  43. http://stackoverflow.com/questions/25765893/how-do-i-install-dependencies-when-cross-compiling-haskell-code

  44. http://stackoverflow.com/questions/25773444/haskell-lenses-how-to-make-view-play-nicely-with-traverse

  45. http://stackoverflow.com/questions/25814489/is-there-an-instance-of-monad-but-not-of-monadfix

  46. http://stackoverflow.com/questions/25827271/how-can-the-continuation-monad-be-expressed-using-the-free-monad

  47. https://plus.google.com/105107667630152149014/about