<div>Welcome to issue 220 of the HWN, an issue covering crowd-sourced bits</div><div>of information about Haskell from around the web. This issue covers the</div><div>week of March 18 to 24, 2012.</div><div><br></div><div>
Quotes of the Week</div><div><br></div><div> * shachaf: Type classes are a scary story that you tell new</div><div> Haskellers so they can go to sleep at night.</div><div><br></div><div> * acowley: Parametric polymorphism is the inspiring story you tell</div>
<div> them to get them riled up and raring to go. </div><div> It's like Braveheart for programmers.</div><div><br></div><div> * monochrom: the purpose of types is to ban more programs</div>
<div><br></div><div> * rostayob: I was a type constructor, then I took an arrow in the</div><div> kind</div><div><br></div><div> * shachaf: @let otherfoolish = not otherwise</div><div><br></div><div> * flebron: Monoidal objects in the monoidal category of endofunctors</div>
<div> on a category. I took a small detour through tensor </div><div> products to understand monoidal categories better, with</div><div> one example of such a product.</div><div> mauke: I have no idea what you just said</div>
<div><br></div><div> * weexplat: starts a proposal to replace launchMissiles with</div><div> atomicDestroyBiosphere</div><div><br></div><div> * monochrom: rumour: SPJ will write a thick book "A New Science of</div>
<div> Kind"</div><div><br></div><div> * JonathanShapiro: [on abandoning BitC] "And I *still* don't believe</div><div> in monads. :-)"</div><div><br></div><div>Top Reddit Stories</div>
<div><br></div><div> * Starting the Mezzo Haskell Book</div><div> Domain: <a href="http://yesodweb.com">yesodweb.com</a>, Score: 58, Comments: 28</div><div> On Reddit: [1] <a href="http://goo.gl/pOSlR">http://goo.gl/pOSlR</a></div>
<div> Original: [2] <a href="http://goo.gl/ecy4O">http://goo.gl/ecy4O</a></div><div><br></div><div> * First patches for iPhone cross compiler against GHC head</div><div> Domain: <a href="http://haskell.org">haskell.org</a>, Score: 55, Comments: 27</div>
<div> On Reddit: [3] <a href="http://goo.gl/OOAai">http://goo.gl/OOAai</a></div><div> Original: [4] <a href="http://goo.gl/p7C3L">http://goo.gl/p7C3L</a></div><div><br></div><div> * Retrospective thoughts on BitC by its author, and why type classes didn't work for him</div>
<div> Domain: <a href="http://coyotos.org">coyotos.org</a>, Score: 44, Comments: 22</div><div> On Reddit: [5] <a href="http://goo.gl/0sL80">http://goo.gl/0sL80</a></div><div> Original: [6] <a href="http://goo.gl/5pCp2">http://goo.gl/5pCp2</a></div>
<div><br></div><div> * Google Summer of Code 2012 - Haskell.org is participating</div><div> Domain: <a href="http://haskell.org">haskell.org</a>, Score: 42, Comments: 11</div><div> On Reddit: [7] <a href="http://goo.gl/9EwzD">http://goo.gl/9EwzD</a></div>
<div> Original: [8] <a href="http://goo.gl/XqcUJ">http://goo.gl/XqcUJ</a></div><div><br></div><div> * Conduits vs. Pipes. Using Void as an Input or Output type can reduce the number of concepts (source, sink, conduit) from 3 to 1 (pipe).</div>
<div> Domain: <a href="http://twanvl.nl">twanvl.nl</a>, Score: 34, Comments: 50</div><div> On Reddit: [9] <a href="http://goo.gl/bc8RB">http://goo.gl/bc8RB</a></div><div> Original: [10] <a href="http://goo.gl/eb7oz">http://goo.gl/eb7oz</a></div>
<div><br></div><div> * Announcing conduit 0.3</div><div> Domain: <a href="http://yesodweb.com">yesodweb.com</a>, Score: 33, Comments: 9</div><div> On Reddit: [11] <a href="http://goo.gl/JrgV0">http://goo.gl/JrgV0</a></div>
<div> Original: [12] <a href="http://goo.gl/OsDl7">http://goo.gl/OsDl7</a></div><div><br></div><div> * Haskell for embedded domain-specific languages (Functional Programming eXchange 2012)</div><div> Domain: <a href="http://skillsmatter.com">skillsmatter.com</a>, Score: 31, Comments: 4</div>
<div> On Reddit: [13] <a href="http://goo.gl/pSREX">http://goo.gl/pSREX</a></div><div> Original: [14] <a href="http://goo.gl/1azVh">http://goo.gl/1azVh</a></div><div><br></div><div> * Domain theory course</div>
<div>
Domain: <a href="http://cs.nott.ac.uk">cs.nott.ac.uk</a>, Score: 31, Comments: 5</div><div> On Reddit: [15] <a href="http://goo.gl/5VHyG">http://goo.gl/5VHyG</a></div><div> Original: [16] <a href="http://goo.gl/o2pRC">http://goo.gl/o2pRC</a></div>
<div><br></div><div> * ANNOUNCE: options, an easy-to-use command-line option parser</div><div> Domain: self.haskell, Score: 29, Comments: 21</div><div> On Reddit: [17] <a href="http://goo.gl/s6ktw">http://goo.gl/s6ktw</a></div>
<div> Original: [18] <a href="http://goo.gl/s6ktw">http://goo.gl/s6ktw</a></div><div><br></div><div> * A Case Study in Creating Rich Internet Apps in Haskell (Silk at FP eXchange 2012)</div><div> Domain: <a href="http://skillsmatter.com">skillsmatter.com</a>, Score: 22, Comments: 18</div>
<div> On Reddit: [19] <a href="http://goo.gl/ZdtDq">http://goo.gl/ZdtDq</a></div><div> Original: [20] <a href="http://goo.gl/Ta2HQ">http://goo.gl/Ta2HQ</a></div><div><br></div><div> * It just occurred to me that (lift .) defines a functor...</div>
<div> Domain: self.haskell, Score: 22, Comments: 15</div><div> On Reddit: [21] <a href="http://goo.gl/GMzPt">http://goo.gl/GMzPt</a></div><div> Original: [22] <a href="http://goo.gl/GMzPt">http://goo.gl/GMzPt</a></div>
<div><br></div><div><br></div><div>Top StackOverflow Questions</div><div><br></div><div> * Haskell platform: nested functions and optimization</div><div> votes: 15, answers: 2</div><div> Read on SO: [23] <a href="http://goo.gl/nreIr">http://goo.gl/nreIr</a></div>
<div><br></div><div> * newtype with RankNTypes</div><div> votes: 14, answers: 2</div><div> Read on SO: [24] <a href="http://goo.gl/UT9DV">http://goo.gl/UT9DV</a></div><div><br></div><div> * Pattern Matching - Prolog Vs Haskell</div>
<div> votes: 13, answers: 4</div><div> Read on SO: [25] <a href="http://goo.gl/3hZV1">http://goo.gl/3hZV1</a></div><div><br></div><div> * How does this definition of ArrowLoop.loop work?</div><div> votes: 13, answers: 2</div>
<div> Read on SO: [26] <a href="http://goo.gl/ocSCM">http://goo.gl/ocSCM</a></div><div><br></div><div> * Data.Set : does it always know best?</div><div> votes: 12, answers: 2</div><div> Read on SO: [27] <a href="http://goo.gl/NUjkB">http://goo.gl/NUjkB</a></div>
<div><br></div><div> * Building a histogram with haskell, many times slower than with python</div><div> votes: 11, answers: 3</div><div> Read on SO: [28] <a href="http://goo.gl/kbh5i">http://goo.gl/kbh5i</a></div>
<div><br></div><div> * What is the scope of let when used without in?</div><div> votes: 11, answers: 2</div><div> Read on SO: [29] <a href="http://goo.gl/bNwna">http://goo.gl/bNwna</a></div><div><br></div><div>
* Strange “half to even” rounding in different languages [closed]</div>
<div> votes: 11, answers: 3</div><div> Read on SO: [30] <a href="http://goo.gl/lnPch">http://goo.gl/lnPch</a></div><div><br></div><div> * Practical reasons for óhurch Encoding</div><div> votes: 10, answers: 1</div>
<div> Read on SO: [31] <a href="http://goo.gl/xYoef">http://goo.gl/xYoef</a></div><div><br></div><div> * Can the FFI deal with arrays? If so, how?</div><div> votes: 9, answers: 3</div><div> Read on SO: [32] <a href="http://goo.gl/d4R3H">http://goo.gl/d4R3H</a></div>
<div><br></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://www.yesodweb.com/blog/2012/03/start-mezzo-haskell">http://www.yesodweb.com/blog/2012/03/start-mezzo-haskell</a></div>
<div> 2. <a href="http://www.reddit.com/r/haskell/comments/r9xdq/starting_the_mezzo_haskell_book/">http://www.reddit.com/r/haskell/comments/r9xdq/starting_the_mezzo_haskell_book/</a></div><div> 3. <a href="http://www.haskell.org/pipermail/iphone/2012-March/000120.html">http://www.haskell.org/pipermail/iphone/2012-March/000120.html</a></div>
<div> 4. <a href="http://www.reddit.com/r/haskell/comments/r3ge7/first_patches_for_iphone_cross_compiler_against/">http://www.reddit.com/r/haskell/comments/r3ge7/first_patches_for_iphone_cross_compiler_against/</a></div>
<div> 5. <a href="http://www.coyotos.org/pipermail/bitc-dev/2012-March/003300.html">http://www.coyotos.org/pipermail/bitc-dev/2012-March/003300.html</a></div><div> 6. <a href="http://www.reddit.com/r/haskell/comments/rbk7z/retrospective_thoughts_on_bitc_by_its_author_and/">http://www.reddit.com/r/haskell/comments/rbk7z/retrospective_thoughts_on_bitc_by_its_author_and/</a></div>
<div> 7. <a href="http://www.haskell.org/pipermail/haskell-cafe/2012-March/100247.html">http://www.haskell.org/pipermail/haskell-cafe/2012-March/100247.html</a></div><div> 8. <a href="http://www.reddit.com/r/haskell/comments/r5h81/google_summer_of_code_2012_haskellorg_is/">http://www.reddit.com/r/haskell/comments/r5h81/google_summer_of_code_2012_haskellorg_is/</a></div>
<div> 9. <a href="http://twanvl.nl/blog/haskell/conduits-vs-pipes">http://twanvl.nl/blog/haskell/conduits-vs-pipes</a></div><div> 10. <a href="http://www.reddit.com/r/haskell/comments/rbgvz/conduits_vs_pipes_using_void_as_an_input_or/">http://www.reddit.com/r/haskell/comments/rbgvz/conduits_vs_pipes_using_void_as_an_input_or/</a></div>
<div> 11. <a href="http://www.yesodweb.com/blog/2012/03/announcing-conduit-0-3">http://www.yesodweb.com/blog/2012/03/announcing-conduit-0-3</a></div><div> 12. <a href="http://www.reddit.com/r/haskell/comments/r6wdh/announcing_conduit_03/">http://www.reddit.com/r/haskell/comments/r6wdh/announcing_conduit_03/</a></div>
<div> 13. <a href="http://skillsmatter.com/podcast/scala/haskell-for-embedded-domain-specific-languages">http://skillsmatter.com/podcast/scala/haskell-for-embedded-domain-specific-languages</a></div><div> 14. <a href="http://www.reddit.com/r/haskell/comments/r22d6/haskell_for_embedded_domainspecific_languages/">http://www.reddit.com/r/haskell/comments/r22d6/haskell_for_embedded_domainspecific_languages/</a></div>
<div> 15. <a href="http://www.cs.nott.ac.uk/~gmh/domains.html">http://www.cs.nott.ac.uk/~gmh/domains.html</a></div><div> 16. <a href="http://www.reddit.com/r/haskell/comments/r250h/domain_theory_course/">http://www.reddit.com/r/haskell/comments/r250h/domain_theory_course/</a></div>
<div> 17. <a href="http://www.reddit.com/r/haskell/comments/rbpmb/announce_options_an_easytouse_commandline_option/">http://www.reddit.com/r/haskell/comments/rbpmb/announce_options_an_easytouse_commandline_option/</a></div>
<div> 18. <a href="http://www.reddit.com/r/haskell/comments/rbpmb/announce_options_an_easytouse_commandline_option/">http://www.reddit.com/r/haskell/comments/rbpmb/announce_options_an_easytouse_commandline_option/</a></div>
<div> 19. <a href="http://skillsmatter.com/podcast/home/silkapp-a-case-study-in-creating-rich-internet-apps-in-haskell/js-3880">http://skillsmatter.com/podcast/home/silkapp-a-case-study-in-creating-rich-internet-apps-in-haskell/js-3880</a></div>
<div> 20. <a href="http://www.reddit.com/r/haskell/comments/r1xey/a_case_study_in_creating_rich_internet_apps_in/">http://www.reddit.com/r/haskell/comments/r1xey/a_case_study_in_creating_rich_internet_apps_in/</a></div>
<div>
21. <a href="http://www.reddit.com/r/haskell/comments/raxsk/it_just_occurred_to_me_that_lift_defines_a_functor/">http://www.reddit.com/r/haskell/comments/raxsk/it_just_occurred_to_me_that_lift_defines_a_functor/</a></div>
<div> 22. <a href="http://www.reddit.com/r/haskell/comments/raxsk/it_just_occurred_to_me_that_lift_defines_a_functor/">http://www.reddit.com/r/haskell/comments/raxsk/it_just_occurred_to_me_that_lift_defines_a_functor/</a></div>
<div> 23. <a href="http://stackoverflow.com/questions/9757515/haskell-platform-nested-functions-and-optimization">http://stackoverflow.com/questions/9757515/haskell-platform-nested-functions-and-optimization</a></div><div>
24. <a href="http://stackoverflow.com/questions/9779301/newtype-with-rankntypes">http://stackoverflow.com/questions/9779301/newtype-with-rankntypes</a></div><div> 25. <a href="http://stackoverflow.com/questions/9780779/pattern-matching-prolog-vs-haskell">http://stackoverflow.com/questions/9780779/pattern-matching-prolog-vs-haskell</a></div>
<div> 26. <a href="http://stackoverflow.com/questions/9856342/how-does-this-definition-of-arrowloop-loop-work">http://stackoverflow.com/questions/9856342/how-does-this-definition-of-arrowloop-loop-work</a></div><div> 27. <a href="http://stackoverflow.com/questions/9755851/data-set-does-it-always-know-best">http://stackoverflow.com/questions/9755851/data-set-does-it-always-know-best</a></div>
<div> 28. <a href="http://stackoverflow.com/questions/9772098/building-a-histogram-with-haskell-many-times-slower-than-with-python">http://stackoverflow.com/questions/9772098/building-a-histogram-with-haskell-many-times-slower-than-with-python</a></div>
<div> 29. <a href="http://stackoverflow.com/questions/9777399/what-is-the-scope-of-let-when-used-without-in">http://stackoverflow.com/questions/9777399/what-is-the-scope-of-let-when-used-without-in</a></div><div> 30. <a href="http://stackoverflow.com/questions/9829769/strange-half-to-even-rounding-in-different-languages">http://stackoverflow.com/questions/9829769/strange-half-to-even-rounding-in-different-languages</a></div>
<div> 31. <a href="http://stackoverflow.com/questions/9806729/practical-reasons-for-hurch-encoding">http://stackoverflow.com/questions/9806729/practical-reasons-for-hurch-encoding</a></div><div> 32. <a href="http://stackoverflow.com/questions/9854782/can-the-ffi-deal-with-arrays-if-so-how">http://stackoverflow.com/questions/9854782/can-the-ffi-deal-with-arrays-if-so-how</a></div>
<div><br></div>