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-Loo... 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... 4. http://www.reddit.com/r/haskell/comments/2djh3b/an_inspiring_haskell_story_t... 5. http://www.haskell.org/platform/#2014.2.0.0 6. http://www.reddit.com/r/haskell/comments/2d3p2c/haskell_platform_2014200_is_... 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_rel... 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_f... 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-a... 14. http://www.reddit.com/r/haskell/comments/2df24l/type_theory_podcast_peter_dy... 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... 18. http://www.reddit.com/r/haskell/comments/2d7109/haskell_for_all_managed100_a... 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_educ... 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... 29. https://www.youtube.com/watch?v=zzCrZEil9iI 30. http://www.reddit.com/r/haskell/comments/2dh0sd/denotational_design_from_mea... 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_t... 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-homo... 36. http://www.reddit.com/r/haskell/comments/2d5ael/monoidal_transducers_are_mon... 37. https://stevekrouse.github.io/hs.js/ 38. http://www.reddit.com/r/haskell/comments/2d1dpg/%CE%BB_lessons_pattern_match... 39. http://stackoverflow.com/questions/25330359/what-are-the-problems-with-an-ad... 40. http://stackoverflow.com/questions/25191659/why-is-haskell-missing-obvious-t... 41. http://stackoverflow.com/questions/25107101/is-there-a-way-to-elegantly-repr... 42. http://stackoverflow.com/questions/25238622/why-does-scala-not-have-a-return... 43. http://stackoverflow.com/questions/25255413/how-did-haskell-add-turing-compl... 44. http://stackoverflow.com/questions/25314793/how-to-avoid-superfluous-variabl... 45. https://plus.google.com/105107667630152149014/about