[Haskell-cafe] Haskell Weekly News: Issue 302

Thu Aug 21 04:20:27 UTC 2014

Welcome to issue 302 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers
from August 3 to 16, 2014

Quotes of the Week

   * alpha123: I don't think I have the gonads for monads. :(

   * edwardk: There is nothing Natural about a Word.

   * bernalex: I very often have to deal with people who think
            I'm pretentious for caring about what programming
       language I use. "it's just programming". lol.
     sopvop: I used to think the same
     sopvop: Then haskell corrupted me
     sopvop: Haskell is a ghetto

Top Reddit Stories

   * ಠ_ಠ :: String -> a
     Domain: hackage.haskell.org, Score: 122, Comments: 56
     Original: [1] http://goo.gl/S87evt
     On Reddit: [2] http://goo.gl/vsfwgr

   * An inspiring Haskell story: the green screen of FP
     Domain: keera.co.uk, Score: 120, Comments: 13
     Original: [3] http://goo.gl/z8Aecw
     On Reddit: [4] http://goo.gl/fevzzz

   * Haskell Platform 2014.2.0.0 is released
     Domain: haskell.org, Score: 117, Comments: 56
     Original: [5] http://goo.gl/Wc6TAF
     On Reddit: [6] http://goo.gl/hMPM7F

   * criterion 1.0: a major new release
     Domain: serpentine.com, Score: 110, Comments: 13
     Original: [7] http://goo.gl/7Qf3ox
     On Reddit: [8] http://goo.gl/Pa9fCW

   * What’s a module system good for anyway?
     Domain: blog.ezyang.com, Score: 102, Comments: 20
     Original: [9] http://goo.gl/qtm97E
     On Reddit: [10] http://goo.gl/XlWrM2

   * Easy Haskell Profiling
     Domain: danielvelkov.blogspot.com, Score: 83, Comments: 33
     Original: [11] http://goo.gl/SWdxdC
     On Reddit: [12] http://goo.gl/z6clxp

   * Type Theory Podcast: Peter Dybjer on QuickCheck, verification,
     and semantics
     Domain: typetheorypodcast.com, Score: 57, Comments: 21
     Original: [13] http://goo.gl/jN12Ak
     On Reddit: [14] http://goo.gl/tLVPpw

   * Fantasy World Haskell
     Domain: self.haskell, Score: 52, Comments: 165
     Original: [15] http://goo.gl/UmJLhG
     On Reddit: [16] http://goo.gl/UmJLhG

   * Haskell for all: managed-1.0.0: A monad for managed resources
     Domain: haskellforall.com, Score: 51, Comments: 10
     Original: [17] http://goo.gl/tbw8JN
     On Reddit: [18] http://goo.gl/cKB6xZ

   * Announcing auto-update
     Domain: yesodweb.com, Score: 47, Comments: 4
     Original: [19] http://goo.gl/xhlw04
     On Reddit: [20] http://goo.gl/GO6udg

   * Codeworld: An open-source educational programming environment
     using Haskell
     Domain: github.com, Score: 47, Comments: 8
     Original: [21] http://goo.gl/7NTgnF
     On Reddit: [22] http://goo.gl/wJBgw5

   * PureScript By Example
     Domain: leanpub.com, Score: 46, Comments: 25
     Original: [23] http://goo.gl/vzcfP6
     On Reddit: [24] http://goo.gl/p3gkEB

   * Lenses from the ground up
     Domain: taylor.fausak.me, Score: 45, Comments: 43
     Original: [25] http://goo.gl/S31V8w
     On Reddit: [26] http://goo.gl/DAGBPz

   * Algebraic Terraforming: Trees from Magma
     Domain: fpcomplete.com, Score: 42, Comments: 22
     Original: [27] http://goo.gl/1nGpnz
     On Reddit: [28] http://goo.gl/iX8ZST

   * Denotational Design: from meanings to programs By Conal Elliott
     at BayHac (Video)
     Domain: youtube.com, Score: 42, Comments: 5
     Original: [29] http://goo.gl/rHeDrK
     On Reddit: [30] http://goo.gl/SLCZ5D

   * Just LOOK at the humongous type that Hindley-Milner infers for
     this tiny program!
     Domain: spacemanaki.com, Score: 38, Comments: 27
     Original: [31] http://goo.gl/cAypnJ
     On Reddit: [32] http://goo.gl/ztDpK7

   * Recommended Reading Material
     Domain: reinh.com, Score: 37, Comments: 12
     Original: [33] http://goo.gl/LwGkEr
     On Reddit: [34] http://goo.gl/ED5pqI

   * (Monoidal) transducers are monoid homomorphisms
     Domain: oleksandrmanzyuk.wordpress.com, Score: 37, Comments: 43
     Original: [35] http://goo.gl/VPDl6Y
     On Reddit: [36] http://goo.gl/5RY9Nf

   * λ Lessons: Pattern matching, first-class functions, and abstracting
     over recursion in Haskell
     Domain: stevekrouse.github.io, Score: 36, Comments: 3
     Original: [37] http://goo.gl/NkxhS5
     On Reddit: [38] http://goo.gl/4275GH

Top StackOverflow Questions

   * What are the problems with an ADT encoding that associates types with
     data constructors? (Such as Scala.)
     votes: 41, answers: 1
     Read on SO: [39] http://goo.gl/k4bw4R

   * Why is Haskell missing “obvious” Typeclasses
     votes: 26, answers: 7
     Read on SO: [40] http://goo.gl/2YElO8

   * Is there a way to elegantly represent this pattern in Haskell?
     votes: 22, answers: 6
     Read on SO: [41] http://goo.gl/sQdRMt

   * Why does Scala not have a return/unit function defined for each monad
     (in contrast to Haskell)?
     votes: 16, answers: 4
     Read on SO: [42] http://goo.gl/MQlZTi

   * How did Haskell add Turing-completeness to System F?
     votes: 15, answers: 1
     Read on SO: [43] http://goo.gl/weJo4Z

   * How to avoid superfluous variables in do notation?
     votes: 14, answers: 2
     Read on SO: [44] http://goo.gl/b3IgC5

Until next time,
[45]+Daniel Santa Cruz

References

   1.
https://hackage.haskell.org/package/acme-lookofdisapproval-0.1/docs/Acme-LookOfDisapproval.html
   2.
http://www.reddit.com/r/haskell/comments/2dce3d/%E0%B2%A0_%E0%B2%A0_string_a/
   3.
http://keera.co.uk/blog/2014/08/13/most-inspiring-green-screen-you-will-ever-see/
   4.
http://www.reddit.com/r/haskell/comments/2djh3b/an_inspiring_haskell_story_the_green_screen_of_fp/
   5. http://www.haskell.org/platform/#2014.2.0.0
   6.
http://www.reddit.com/r/haskell/comments/2d3p2c/haskell_platform_2014200_is_released/
   7. http://www.serpentine.com/blog/2014/08/08/criterion-1-0/
   8.
http://www.reddit.com/r/haskell/comments/2cyuv4/criterion_10_a_major_new_release/
   9. http://blog.ezyang.com/2014/08/whats-a-module-system-good-for-anyway/
  10.
http://www.reddit.com/r/haskell/comments/2d3xuh/whats_a_module_system_good_for_anyway/
  11. http://danielvelkov.blogspot.com/2014/08/easy-haskell-profiling.html
  12.
http://www.reddit.com/r/haskell/comments/2d8ob4/easy_haskell_profiling/
  13.
http://typetheorypodcast.com/2014/08/episode-1-peter-dybjer-on-type-theory-and-testing/
  14.
http://www.reddit.com/r/haskell/comments/2df24l/type_theory_podcast_peter_dybjer_on_quickcheck/
  15. http://www.reddit.com/r/haskell/comments/2chb2h/fantasy_world_haskell/
  16. http://www.reddit.com/r/haskell/comments/2chb2h/fantasy_world_haskell/
  17.
http://www.haskellforall.com/2014/08/managed-100-monad-for-managed-resources.html
  18.
http://www.reddit.com/r/haskell/comments/2d7109/haskell_for_all_managed100_a_monad_for_managed/
  19. http://www.yesodweb.com/blog/2014/08/announcing-auto-update
  20. http://www.reddit.com/r/haskell/comments/2crqyg/announcing_autoupdate/
  21. https://github.com/google/codeworld
  22.
http://www.reddit.com/r/haskell/comments/2drcwx/codeworld_an_opensource_educational_programming/
  23. https://leanpub.com/purescript/read
  24. http://www.reddit.com/r/haskell/comments/2cswdd/purescript_by_example/
  25. http://taylor.fausak.me/2014/08/03/lenses-from-the-ground-up/
  26.
http://www.reddit.com/r/haskell/comments/2cl28r/lenses_from_the_ground_up/
  27. https://www.fpcomplete.com/user/bss/magma-tree
  28.
http://www.reddit.com/r/haskell/comments/2corq6/algebraic_terraforming_trees_from_magma/
  29. https://www.youtube.com/watch?v=zzCrZEil9iI
  30.
http://www.reddit.com/r/haskell/comments/2dh0sd/denotational_design_from_meanings_to_programs_by/
  31.
http://spacemanaki.com/blog/2014/08/04/Just-LOOK-at-the-humongous-type/
  32.
http://www.reddit.com/r/haskell/comments/2cka6d/just_look_at_the_humongous_type_that/
  33.
http://reinh.com/notes/posts/2014-07-25-recommended-reading-material.html
  34.
http://www.reddit.com/r/haskell/comments/2cpr4z/recommended_reading_material/
  35.
http://oleksandrmanzyuk.wordpress.com/2014/08/09/transducers-are-monoid-homomorphisms/
  36.
http://www.reddit.com/r/haskell/comments/2d5ael/monoidal_transducers_are_monoid_homomorphisms/
  37. https://stevekrouse.github.io/hs.js/
  38.
http://www.reddit.com/r/haskell/comments/2d1dpg/%CE%BB_lessons_pattern_matching_firstclass_functions/
  39.
http://stackoverflow.com/questions/25330359/what-are-the-problems-with-an-adt-encoding-that-associates-types-with-data-const
  40.
http://stackoverflow.com/questions/25191659/why-is-haskell-missing-obvious-typeclasses
  41.
http://stackoverflow.com/questions/25107101/is-there-a-way-to-elegantly-represent-this-pattern-in-haskell
  42.
http://stackoverflow.com/questions/25238622/why-does-scala-not-have-a-return-unit-function-defined-for-each-monad-in-contra
  43.
http://stackoverflow.com/questions/25255413/how-did-haskell-add-turing-completeness-to-system-f
  44.
http://stackoverflow.com/questions/25314793/how-to-avoid-superfluous-variables-in-do-notation
  45. https://plus.google.com/105107667630152149014/about
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140820/68fedc89/attachment-0001.html>