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