[Haskell] Haskell Weekly News: Issue 306

Thu Sep 18 04:28:08 UTC 2014

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20140917/c5b35017/attachment-0001.html>