Welcome to issue 213 of the HWN, a newsletter covering quotes, stories, and questions seen around the net concerning Haskell during the week of January 22 to 28, 2012. You can read the HTML version at: http://contemplatecode.blogspot.com/2012/02/haskell-weekly-news-issue-213.ht... Quotes of the Week * monochrom: great way to answer a semantics question by commenting on the font ... "what is the semantics of IO?" "the I may be narrower than O in some fonts, and same width in some other fonts" ... "on very old typewriters, it also denotes the number 10 (ten), for those of you looking for a denotation" * elliott: |\/|/-\|-|-|=|\||} is my preferred mappend operator * merijn: rostayob: I used to be a functional programmer like you, but then I took an UML diagram to the knee >.> * mauke: monoids are simple elliott: And as we all know, monads are basically just monoids! monochrom: haskell is basically just ascii * O'Keefe: "Elegance is not optional." * O'Keefe: "If I don't write it, I won't wrong it." * kmc: "monads are like containers, as long as you forget everything you know about containers, and treat it as a synonym for 'monad'" * Enigmagic: this calls for mfix and some tequila Top Reddit Stories * SPJ : Escape From the Ivory Tower: The Haskell Journey, From 1990 to 2011 Domain: yow.eventer.com, Score: 67, Comments: 12 On Reddit: [1] http://goo.gl/JqRUW Original: [2] http://goo.gl/9ILW1 * Make Things Now! - Pragmatic FP With Haskell (slides) Domain: code.haskell.org, Score: 44, Comments: 22 On Reddit: [3] http://goo.gl/WJQnH Original: [4] http://goo.gl/UMd9y * ANNOUNCE: GHC 7.4.1 Release Candidate 2 Domain: haskell.org, Score: 37, Comments: On Reddit: [5] http://goo.gl/D9F37 Original: [6] http://goo.gl/sdD1L * Web application that uses UHC to compile Haskell to JavaScript Domain: alessandrovermeulen.me, Score: 36, Comments: 13 On Reddit: [7] http://goo.gl/A3S0k Original: [8] http://goo.gl/lyX2K * Web app that shows you the changes between releases of packages on hackage Domain: hdiff.luite.com, Score: 33, Comments: 4 On Reddit: [9] http://goo.gl/6ioFh Original: [10] http://goo.gl/aZAyc * Combining Regions and Iteratees Domain: haskell.org, Score: 30, Comments: 10 On Reddit: [11] http://goo.gl/LEPiQ Original: [12] http://goo.gl/k3wpd * MonadBaseControl is unsound : Inside 233 Domain: blog.ezyang.com, Score: 29, Comments: 19 On Reddit: [13] http://goo.gl/ptCF6 Original: [14] http://goo.gl/Y5bbh * Yesod example: wiki, markdown, chat subsite, event source Domain: yesodweb.com, Score: 29, Comments: 1 On Reddit: [15] http://goo.gl/GyfzS Original: [16] http://goo.gl/on96C * inner beauty of tree traversals: pre- and post-order Domain: blog.moertel.com, Score: 29, Comments: On Reddit: [17] http://goo.gl/6fKzq Original: [18] http://goo.gl/NpjrO * Seem like there's a boycott of Elsevier going on. Domain: thecostofknowledge.com, Score: 29, Comments: 1 On Reddit: [19] http://goo.gl/2B106 Original: [20] http://goo.gl/dvxML * Unifying Monoids and Monads with Polymorphic Kinds Domain: jonmsterling.com, Score: 26, Comments: 29 On Reddit: [21] http://goo.gl/kTafx Original: [22] http://goo.gl/A3IrU * Modelling IO: MonadIO and beyond Domain: blog.ezyang.com, Score: 26, Comments: 4 On Reddit: [23] http://goo.gl/gr2M1 Original: [24] http://goo.gl/0n1a9 Top StackOverflow Questions * Is it a good idea to compile a language to C? votes: 26, answers: 7 Read on SO: [25] http://goo.gl/V8sSx * Haskell GHC: what is the time complexity of a pattern match with N constructors? votes: 19, answers: 1 Read on SO: [26] http://goo.gl/SU0l8 * What to use instead of a main loop in Haskell? votes: 12, answers: 2 Read on SO: [27] http://goo.gl/iYasz * Associated types and container elements votes: 12, answers: 2 Read on SO: [28] http://goo.gl/zBNWU * Undefined at the type level votes: 12, answers: 1 Read on SO: [29] http://goo.gl/m9Acn * Is there a good reason why `deleteBy` does not have its most general type? votes: 10, answers: 3 Read on SO: [30] http://goo.gl/dQDrf * Using low bitsize integral types like `Int8` and what they are for votes: 9, answers: 2 Read on SO: [31] http://goo.gl/YaE68 * How is the ghc runtime support for profiling implemented? votes: 9, answers: 2 Read on SO: [32] http://goo.gl/yz7eC * how to achieve “product of two monads” effect? votes: 9, answers: 1 Read on SO: [33] http://goo.gl/pLhVK * Combine two monads when neither has a transformer? votes: 9, answers: 1 Read on SO: [34] http://goo.gl/yw8tr * Why don't type synonyms permit recursion in Haskell? votes: 8, answers: 2 Read on SO: [35] http://goo.gl/hPzVq Until next time, Daniel Santa Cruz References 1. http://yow.eventer.com/events/1004/talks/1054 2. http://www.reddit.com/r/haskell/comments/ovc9s/spj_escape_from_the_ivory_tow... 3. http://code.haskell.org/~dons/talks/padl-keynote-2012-01-24.pdf 4. http://www.reddit.com/r/haskell/comments/oxg3c/make_things_now_pragmatic_fp_... 5. http://www.haskell.org/pipermail/glasgow-haskell-users/2012-January/021714.h... 6. http://www.reddit.com/r/haskell/comments/p0x96/announce_ghc_741_release_cand... 7. http://alessandrovermeulen.me/2012/01/26/getting-rid-of-javascript-with-hask... 8. http://www.reddit.com/r/haskell/comments/oz27a/web_application_that_uses_uhc... 9. http://hdiff.luite.com/ 10. http://www.reddit.com/r/haskell/comments/ozjys/web_app_that_shows_you_the_ch... 11. http://www.haskell.org/pipermail/haskell-cafe/2012-January/098704.html 12. http://www.reddit.com/r/haskell/comments/orh4f/combining_regions_and_iterate... 13. http://blog.ezyang.com/2012/01/monadbasecontrol-is-unsound/ 14. http://www.reddit.com/r/haskell/comments/ot5f2/monadbasecontrol_is_unsound_i... 15. http://www.yesodweb.com/blog/2012/01/wiki-chat-subsite 16. http://www.reddit.com/r/haskell/comments/oub3p/yesod_example_wiki_markdown_c... 17. http://blog.moertel.com/articles/2012/01/26/the-inner-beauty-of-tree-travers... 18. http://www.reddit.com/r/haskell/comments/oyu7d/inner_beauty_of_tree_traversa... 19. http://thecostofknowledge.com/ 20. http://www.reddit.com/r/haskell/comments/ozi7i/seem_like_theres_a_boycott_of... 21. http://www.jonmsterling.com/posts/2012-01-12-unifying-monoids-and-monads-wit... 22. http://www.reddit.com/r/haskell/comments/osn5d/unifying_monoids_and_monads_w... 23. http://blog.ezyang.com/2012/01/modelling-io/ 24. http://www.reddit.com/r/haskell/comments/ourfu/modelling_io_monadio_and_beyo... 25. http://stackoverflow.com/questions/8976423/is-it-a-good-idea-to-compile-a-la... 26. http://stackoverflow.com/questions/9027384/haskell-ghc-what-is-the-time-comp... 27. http://stackoverflow.com/questions/9015318/what-to-use-instead-of-a-main-loo... 28. http://stackoverflow.com/questions/9016521/associated-types-and-container-el... 29. http://stackoverflow.com/questions/9036554/undefined-at-the-type-level 30. http://stackoverflow.com/questions/9004937/is-there-a-good-reason-why-delete... 31. http://stackoverflow.com/questions/8963942/using-low-bitsize-integral-types-... 32. http://stackoverflow.com/questions/9010808/how-is-the-ghc-runtime-support-fo... 33. http://stackoverflow.com/questions/9013329/how-to-achieve-product-of-two-mon... 34. http://stackoverflow.com/questions/9034060/combine-two-monads-when-neither-h... 35. http://stackoverflow.com/questions/8963376/why-dont-type-synonyms-permit-rec...