<div>Welcome to issue 211 of the HWN, a newsletter covering developments in</div><div>the Haskell community. This release covers top stories found around the</div><div>net between January 01 to 14, 2012.</div><div><br></div>
<div>This is going to be a shorted version, as I have been out of time. I</div><div>did not want to let more time go by without a heartbeat from your</div><div>friendly HWN.</div><div><br></div><div>Happy coding!</div><div>
<br></div><div>You can find an HTML version at:</div><div><a href="http://contemplatecode.blogspot.com/2012/01/haskell-weekly-news-issue-211.html">http://contemplatecode.blogspot.com/2012/01/haskell-weekly-news-issue-211.html</a></div>
<div><br></div><div>Quotes of the Week</div><div><br></div><div> * <ddarius> xtalmath: #math or #not-math would probably be a more</div><div> appropriate place to ask.</div><div> <shachaf> ddarius: Those two channels pretty much cover it all.</div>
<div> <ddarius> shachaf: You're clearly not an intuitionist.</div><div><br></div><div> * monochrom: in fact, freedom is the freedom to write 2.2 = 4</div><div><br></div><div> * Jafet: caleskell is the standard golf course.</div>
<div><br></div><div> * byorgey: Escaped skolem! Authorities mount massive search. News at</div><div> 11.</div><div><br></div><div> * BMeph: loves swapping function arguments, he said flippantly</div><div><br></div>
<div> * kmc: "Haskell is great, because Curry-Howard! Proving things in the</div><div> type system. We can prove that, uh, Ints exist, unless they're</div><div> [bottom]."</div><div><br></div><div>
* Jafet: In Soviet Russia, State executes you</div><div><br></div><div> * byorgey: that would be known as "low-dimensional linear algebra",</div><div> where "low-dimensional" is said in as condescending a tone as</div>
<div> possible</div><div><br></div><div> * monochrom: at a crossroad you meet an angel (always tells the</div><div> truth) or demon (always lies). the crossroad gives you two choices</div><div> of roads, one to heaven, one to hell, and only the angel or demon</div>
<div> knows which is which. if you ask "how would you answer if I asked</div><div> 'what is a monad?'", what will happen?</div><div><br></div><div>Top Reddit Stories</div><div><br></div><div> * Dropbox tech blog » Using the Dropbox API from Haskell</div>
<div> Domain: <a href="http://tech.dropbox.com">tech.dropbox.com</a>, Score: 68, Comments: 4</div><div> On Reddit: [1] <a href="http://goo.gl/rsndV">http://goo.gl/rsndV</a></div><div> Original: [2] <a href="http://goo.gl/g3RyF">http://goo.gl/g3RyF</a></div>
<div><br></div><div> * A new approach to iteratees</div><div> Domain: self.haskell, Score: 48, Comments: 99</div><div> On Reddit: [3] <a href="http://goo.gl/ZRbGW">http://goo.gl/ZRbGW</a></div><div> Original: [4] <a href="http://goo.gl/ZRbGW">http://goo.gl/ZRbGW</a></div>
<div><br></div><div> * Haskell / Repa Real-Time Ray Tracing Demo</div><div> Domain: <a href="http://youtube.com">youtube.com</a>, Score: 45, Comments: 7</div><div> On Reddit: [5] <a href="http://goo.gl/rzyZs">http://goo.gl/rzyZs</a></div>
<div> Original: [6] <a href="http://goo.gl/15P2V">http://goo.gl/15P2V</a></div><div><br></div><div> * Order theory for computer scientists</div><div> Domain: <a href="http://matt.might.net">matt.might.net</a>, Score: 39, Comments: 1</div>
<div> On Reddit: [7] <a href="http://goo.gl/nTOfr">http://goo.gl/nTOfr</a></div><div> Original: [8] <a href="http://goo.gl/HAVjQ">http://goo.gl/HAVjQ</a></div><div><br></div><div> * Generalizing Streams into Coroutines (with an introduction to functors, applicative functors and arrows)</div>
<div> Domain: <a href="http://github.com">github.com</a>, Score: 38, Comments: 15</div><div> On Reddit: [9] <a href="http://goo.gl/hUopY">http://goo.gl/hUopY</a></div><div> Original: [10] <a href="http://goo.gl/avTUf">http://goo.gl/avTUf</a></div>
<div><br></div><div> * Well-Typed are hiring: Haskell consultant</div><div> Domain: <a href="http://well-typed.com">well-typed.com</a>, Score: 38, Comments: 71</div><div> On Reddit: [11] <a href="http://goo.gl/Chu7f">http://goo.gl/Chu7f</a></div>
<div> Original: [12] <a href="http://goo.gl/VHPfJ">http://goo.gl/VHPfJ</a></div><div><br></div><div> * Why iteratees are hard to understand</div><div> Domain: <a href="http://blog.ezyang.com">blog.ezyang.com</a>, Score: 34, Comments: 11</div>
<div> On Reddit: [13] <a href="http://goo.gl/LrEoV">http://goo.gl/LrEoV</a></div><div> Original: [14] <a href="http://goo.gl/d1scG">http://goo.gl/d1scG</a></div><div><br></div><div> * Modern reall-world Haskell?</div>
<div> Domain: self.haskell, Score: 33, Comments: 21</div><div> On Reddit: [15] <a href="http://goo.gl/l0Aud">http://goo.gl/l0Aud</a></div><div> Original: [16] <a href="http://goo.gl/l0Aud">http://goo.gl/l0Aud</a></div>
<div><br></div><div> * FRP: reactive-banana is getting dynamic event switching</div><div> Domain: <a href="http://apfelmus.nfshost.com">apfelmus.nfshost.com</a>, Score: 30, Comments: 3</div><div> On Reddit: [17] <a href="http://goo.gl/dGblT">http://goo.gl/dGblT</a></div>
<div> Original: [18] <a href="http://goo.gl/ovRE5">http://goo.gl/ovRE5</a></div><div><br></div><div> * wxHaskell and wxWidgets 2.9</div><div> Domain: <a href="http://wewantarock.wordpress.com">wewantarock.wordpress.com</a>, Score: 29, Comments: </div>
<div> On Reddit: [19] <a href="http://goo.gl/sxiBx">http://goo.gl/sxiBx</a></div><div> Original: [20] <a href="http://goo.gl/878Aj">http://goo.gl/878Aj</a></div><div><br></div><div> * Updated Yesod blog example: i18n, authentication, authorization, and database</div>
<div> Domain: <a href="http://yesodweb.com">yesodweb.com</a>, Score: 28, Comments: 22</div><div> On Reddit: [21] <a href="http://goo.gl/4eDAT">http://goo.gl/4eDAT</a></div><div> Original: [22] <a href="http://goo.gl/duzSG">http://goo.gl/duzSG</a></div>
<div><br></div><div> * Experiments in Haskell Packaging</div><div> Domain: <a href="http://justhaskell.org">justhaskell.org</a>, Score: 27, Comments: 5</div><div> On Reddit: [23] <a href="http://goo.gl/y2vHk">http://goo.gl/y2vHk</a></div>
<div> Original: [24] <a href="http://goo.gl/0nADv">http://goo.gl/0nADv</a></div><div><br></div><div> * http-conduit</div><div> Domain: <a href="http://yesodweb.com">yesodweb.com</a>, Score: 26, Comments: 26</div>
<div> On Reddit: [25] <a href="http://goo.gl/gisUJ">http://goo.gl/gisUJ</a></div><div> Original: [26] <a href="http://goo.gl/mMhaf">http://goo.gl/mMhaf</a></div><div><br></div><div> * Reasoning about Stream Processing with Effects</div>
<div> Domain: <a href="http://personal.cis.strath.ac.uk">personal.cis.strath.ac.uk</a>, Score: 26, Comments: 6</div><div> On Reddit: [27] <a href="http://goo.gl/3Ckzr">http://goo.gl/3Ckzr</a></div><div> Original: [28] <a href="http://goo.gl/Uw8ZO">http://goo.gl/Uw8ZO</a></div>
<div><br></div><div> * Simon Marlow's Parallel and Concurrent Programming Haskell (slides)</div><div> Domain: self.haskell, Score: 26, Comments: 3</div><div> On Reddit: [29] <a href="http://goo.gl/Rg0Lz">http://goo.gl/Rg0Lz</a></div>
<div> Original: [30] <a href="http://goo.gl/Rg0Lz">http://goo.gl/Rg0Lz</a></div><div><br></div><div> * Who is my Community? -- wxHaskell maintainer's thoughts on C bindings</div><div> Domain: <a href="http://wewantarock.wordpress.com">wewantarock.wordpress.com</a>, Score: 26, Comments: </div>
<div> On Reddit: [31] <a href="http://goo.gl/tcqZN">http://goo.gl/tcqZN</a></div><div> Original: [32] <a href="http://goo.gl/mRwQa">http://goo.gl/mRwQa</a></div><div><br></div><div>Top StackOverflow Questions</div>
<div><br></div><div> * Fun with repeated fmap</div><div> votes: 26, answers: 1</div><div> Read on SO: [33] <a href="http://goo.gl/T2FPm">http://goo.gl/T2FPm</a></div><div><br></div><div> * Can a compiler automatically detect pure functions without the type information about purity?</div>
<div> votes: 23, answers: 2</div><div> Read on SO: [34] <a href="http://goo.gl/wgYim">http://goo.gl/wgYim</a></div><div><br></div><div> * What does “floated out” mean?</div><div> votes: 21, answers: 2</div>
<div>
Read on SO: [35] <a href="http://goo.gl/8J3no">http://goo.gl/8J3no</a></div><div><br></div><div> * Haskell projects to study and learn from?</div><div> votes: 19, answers: 2</div><div> Read on SO: [36] <a href="http://goo.gl/SHwsZ">http://goo.gl/SHwsZ</a></div>
<div><br></div><div> * How do you identify monadic design patterns?</div><div> votes: 19, answers: 4</div><div> Read on SO: [37] <a href="http://goo.gl/dE3EJ">http://goo.gl/dE3EJ</a></div><div><br></div><div> * how do I get good (small) shrinks out of QuickCheck?</div>
<div> votes: 16, answers: 0</div><div> Read on SO: [38] <a href="http://goo.gl/X3ZOs">http://goo.gl/X3ZOs</a></div><div><br></div><div> * Which applicative functor is used for passing shared parameters?</div><div>
votes: 14, answers: 1</div><div> Read on SO: [39] <a href="http://goo.gl/UxmZK">http://goo.gl/UxmZK</a></div><div><br></div><div> * Double map in haskell?</div><div> votes: 12, answers: 2</div><div> Read on SO: [40] <a href="http://goo.gl/uWpuz">http://goo.gl/uWpuz</a></div>
<div><br></div><div> * Higher ranked and impredicative types</div><div> votes: 12, answers: 1</div><div> Read on SO: [41] <a href="http://goo.gl/zpkXn">http://goo.gl/zpkXn</a></div><div><br></div><div> * Handling events in Haskell</div>
<div> votes: 12, answers: 1</div><div> Read on SO: [42] <a href="http://goo.gl/e7sV9">http://goo.gl/e7sV9</a></div><div><br></div><div> * Does the term “monadic” in J have anything to do with its Haskell use?</div>
<div> votes: 12, answers: 4</div><div> Read on SO: [43] <a href="http://goo.gl/hTa2j">http://goo.gl/hTa2j</a></div><div><br></div><div> * Any good articles on optimizing Haskell code?</div><div> votes: 12, answers: 2</div>
<div> Read on SO: [44] <a href="http://goo.gl/FzRrf">http://goo.gl/FzRrf</a></div><div><br></div><div> * What is a “free variable”?</div><div> votes: 11, answers: 2</div><div> Read on SO: [45] <a href="http://goo.gl/Og5SC">http://goo.gl/Og5SC</a></div>
<div><br></div><div> * Haskell Thread Communication Pattern Scenario</div><div> votes: 10, answers: 1</div><div> Read on SO: [46] <a href="http://goo.gl/3Rzq0">http://goo.gl/3Rzq0</a></div><div><br></div><div> * Defining a function by equations with different number of arguments</div>
<div> votes: 10, answers: 1</div><div> Read on SO: [47] <a href="http://goo.gl/hejqO">http://goo.gl/hejqO</a></div><div><br></div><div> * What functionality do you get for free with Functors or other type-classes?</div>
<div> votes: 10, answers: 5</div><div> Read on SO: [48] <a href="http://goo.gl/9hSlv">http://goo.gl/9hSlv</a></div><div><br></div><div> * Why are types with no data constructors valid?</div><div> votes: 10, answers: 1</div>
<div> Read on SO: [49] <a href="http://goo.gl/Pp6Ze">http://goo.gl/Pp6Ze</a></div><div><br></div><div> * Folding flatMap/bind over a list of functions (a.k.a. Name That Combinator!)</div><div> votes: 9, answers: 2</div>
<div> Read on SO: [50] <a href="http://goo.gl/bBtBI">http://goo.gl/bBtBI</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://tech.dropbox.com/?p=129">http://tech.dropbox.com/?p=129</a></div><div> 2. <a href="http://www.reddit.com/r/haskell/comments/o0j2a/dropbox_tech_blog_using_the_dropbox_api_from/">http://www.reddit.com/r/haskell/comments/o0j2a/dropbox_tech_blog_using_the_dropbox_api_from/</a></div>
<div> 3. <a href="http://www.reddit.com/r/haskell/comments/ohjg7/a_new_approach_to_iteratees/">http://www.reddit.com/r/haskell/comments/ohjg7/a_new_approach_to_iteratees/</a></div><div> 4. <a href="http://www.reddit.com/r/haskell/comments/ohjg7/a_new_approach_to_iteratees/">http://www.reddit.com/r/haskell/comments/ohjg7/a_new_approach_to_iteratees/</a></div>
<div> 5. <a href="https://www.youtube.com/watch?v=jBd9c1gAqWs">https://www.youtube.com/watch?v=jBd9c1gAqWs</a></div><div> 6. <a href="http://www.reddit.com/r/haskell/comments/o0im2/haskell_repa_realtime_ray_tracing_demo/">http://www.reddit.com/r/haskell/comments/o0im2/haskell_repa_realtime_ray_tracing_demo/</a></div>
<div> 7. <a href="http://matt.might.net/articles/partial-orders/">http://matt.might.net/articles/partial-orders/</a></div><div> 8. <a href="http://www.reddit.com/r/haskell/comments/o6nnp/order_theory_for_computer_scientists/">http://www.reddit.com/r/haskell/comments/o6nnp/order_theory_for_computer_scientists/</a></div>
<div> 9. <a href="https://github.com/leonidas/codeblog/blob/master/2012/2012-01-08-streams-coroutines.md">https://github.com/leonidas/codeblog/blob/master/2012/2012-01-08-streams-coroutines.md</a></div><div> 10. <a href="http://www.reddit.com/r/haskell/comments/o87z5/generalizing_streams_into_coroutines_with_an/">http://www.reddit.com/r/haskell/comments/o87z5/generalizing_streams_into_coroutines_with_an/</a></div>
<div> 11. <a href="http://www.well-typed.com/blog/63">http://www.well-typed.com/blog/63</a></div><div> 12. <a href="http://www.reddit.com/r/haskell/comments/odv3t/welltyped_are_hiring_haskell_consultant/">http://www.reddit.com/r/haskell/comments/odv3t/welltyped_are_hiring_haskell_consultant/</a></div>
<div> 13. <a href="http://blog.ezyang.com/2012/01/why-iteratees-are-hard-to-understand/">http://blog.ezyang.com/2012/01/why-iteratees-are-hard-to-understand/</a></div><div> 14. <a href="http://www.reddit.com/r/haskell/comments/o2p3p/why_iteratees_are_hard_to_understand/">http://www.reddit.com/r/haskell/comments/o2p3p/why_iteratees_are_hard_to_understand/</a></div>
<div> 15. <a href="http://www.reddit.com/r/haskell/comments/o5iov/modern_reallworld_haskell/">http://www.reddit.com/r/haskell/comments/o5iov/modern_reallworld_haskell/</a></div><div> 16. <a href="http://www.reddit.com/r/haskell/comments/o5iov/modern_reallworld_haskell/">http://www.reddit.com/r/haskell/comments/o5iov/modern_reallworld_haskell/</a></div>
<div> 17. <a href="http://apfelmus.nfshost.com/blog/2012/01/01-frp-api-0-5.html">http://apfelmus.nfshost.com/blog/2012/01/01-frp-api-0-5.html</a></div><div> 18. <a href="http://www.reddit.com/r/haskell/comments/nz0af/frp_reactivebanana_is_getting_dynamic_event/">http://www.reddit.com/r/haskell/comments/nz0af/frp_reactivebanana_is_getting_dynamic_event/</a></div>
<div> 19. <a href="http://wewantarock.wordpress.com/2012/01/11/wxhaskell-and-wxwidgets-2-9/">http://wewantarock.wordpress.com/2012/01/11/wxhaskell-and-wxwidgets-2-9/</a></div><div> 20. <a href="http://www.reddit.com/r/haskell/comments/oc8qi/wxhaskell_and_wxwidgets_29/">http://www.reddit.com/r/haskell/comments/oc8qi/wxhaskell_and_wxwidgets_29/</a></div>
<div> 21. <a href="http://www.yesodweb.com/blog/2012/01/blog-example">http://www.yesodweb.com/blog/2012/01/blog-example</a></div><div> 22. <a href="http://www.reddit.com/r/haskell/comments/of4g9/updated_yesod_blog_example_i18n_authentication/">http://www.reddit.com/r/haskell/comments/of4g9/updated_yesod_blog_example_i18n_authentication/</a></div>
<div> 23. <a href="http://justhaskell.org/2012/01/02/experiments-in-haskell-packaging/">http://justhaskell.org/2012/01/02/experiments-in-haskell-packaging/</a></div><div> 24. <a href="http://www.reddit.com/r/haskell/comments/nzv56/experiments_in_haskell_packaging/">http://www.reddit.com/r/haskell/comments/nzv56/experiments_in_haskell_packaging/</a></div>
<div> 25. <a href="http://www.yesodweb.com/blog/2012/01/http-conduit">http://www.yesodweb.com/blog/2012/01/http-conduit</a></div><div> 26. <a href="http://www.reddit.com/r/haskell/comments/o5b4w/httpconduit/">http://www.reddit.com/r/haskell/comments/o5b4w/httpconduit/</a></div>
<div> 27. <a href="http://personal.cis.strath.ac.uk/~raa/posts/2012-01-06-streams.html">http://personal.cis.strath.ac.uk/~raa/posts/2012-01-06-streams.html</a></div><div> 28. <a href="http://www.reddit.com/r/haskell/comments/o5ioy/reasoning_about_stream_processing_with_effects/">http://www.reddit.com/r/haskell/comments/o5ioy/reasoning_about_stream_processing_with_effects/</a></div>
<div> 29. <a href="http://www.reddit.com/r/haskell/comments/oaqsa/simon_marlows_parallel_and_concurrent_programming/">http://www.reddit.com/r/haskell/comments/oaqsa/simon_marlows_parallel_and_concurrent_programming/</a></div>
<div> 30. <a href="http://www.reddit.com/r/haskell/comments/oaqsa/simon_marlows_parallel_and_concurrent_programming/">http://www.reddit.com/r/haskell/comments/oaqsa/simon_marlows_parallel_and_concurrent_programming/</a></div>
<div> 31. <a href="http://wewantarock.wordpress.com/2012/01/12/who-is-my-community/">http://wewantarock.wordpress.com/2012/01/12/who-is-my-community/</a></div><div> 32. <a href="http://www.reddit.com/r/haskell/comments/ogtos/who_is_my_community_wxhaskell_maintainers/">http://www.reddit.com/r/haskell/comments/ogtos/who_is_my_community_wxhaskell_maintainers/</a></div>
<div> 33. <a href="http://stackoverflow.com/questions/8736995/fun-with-repeated-fmap">http://stackoverflow.com/questions/8736995/fun-with-repeated-fmap</a></div><div> 34. <a href="http://stackoverflow.com/questions/8760956/can-a-compiler-automatically-detect-pure-functions-without-the-type-information">http://stackoverflow.com/questions/8760956/can-a-compiler-automatically-detect-pure-functions-without-the-type-information</a></div>
<div> 35. <a href="http://stackoverflow.com/questions/8779390/what-does-floated-out-mean">http://stackoverflow.com/questions/8779390/what-does-floated-out-mean</a></div><div> 36. <a href="http://stackoverflow.com/questions/8703319/haskell-projects-to-study-and-learn-from">http://stackoverflow.com/questions/8703319/haskell-projects-to-study-and-learn-from</a></div>
<div> 37. <a href="http://stackoverflow.com/questions/8777216/how-do-you-identify-monadic-design-patterns">http://stackoverflow.com/questions/8777216/how-do-you-identify-monadic-design-patterns</a></div><div> 38. <a href="http://stackoverflow.com/questions/8788542/how-do-i-get-good-small-shrinks-out-of-quickcheck">http://stackoverflow.com/questions/8788542/how-do-i-get-good-small-shrinks-out-of-quickcheck</a></div>
<div> 39. <a href="http://stackoverflow.com/questions/8762943/which-applicative-functor-is-used-for-passing-shared-parameters">http://stackoverflow.com/questions/8762943/which-applicative-functor-is-used-for-passing-shared-parameters</a></div>
<div> 40. <a href="http://stackoverflow.com/questions/8735072/double-map-in-haskell">http://stackoverflow.com/questions/8735072/double-map-in-haskell</a></div><div> 41. <a href="http://stackoverflow.com/questions/8739741/higher-ranked-and-impredicative-types">http://stackoverflow.com/questions/8739741/higher-ranked-and-impredicative-types</a></div>
<div> 42. <a href="http://stackoverflow.com/questions/8780183/handling-events-in-haskell">http://stackoverflow.com/questions/8780183/handling-events-in-haskell</a></div><div> 43. <a href="http://stackoverflow.com/questions/8807539/does-the-term-monadic-in-j-have-anything-to-do-with-its-haskell-use">http://stackoverflow.com/questions/8807539/does-the-term-monadic-in-j-have-anything-to-do-with-its-haskell-use</a></div>
<div> 44. <a href="http://stackoverflow.com/questions/8832624/any-good-articles-on-optimizing-haskell-code">http://stackoverflow.com/questions/8832624/any-good-articles-on-optimizing-haskell-code</a></div><div> 45. <a href="http://stackoverflow.com/questions/8857038/what-is-a-free-variable">http://stackoverflow.com/questions/8857038/what-is-a-free-variable</a></div>
<div> 46. <a href="http://stackoverflow.com/questions/8705332/haskell-thread-communication-pattern-scenario">http://stackoverflow.com/questions/8705332/haskell-thread-communication-pattern-scenario</a></div><div> 47. <a href="http://stackoverflow.com/questions/8745597/defining-a-function-by-equations-with-different-number-of-arguments">http://stackoverflow.com/questions/8745597/defining-a-function-by-equations-with-different-number-of-arguments</a></div>
<div> 48. <a href="http://stackoverflow.com/questions/8785311/what-functionality-do-you-get-for-free-with-functors-or-other-type-classes">http://stackoverflow.com/questions/8785311/what-functionality-do-you-get-for-free-with-functors-or-other-type-classes</a></div>
<div> 49. <a href="http://stackoverflow.com/questions/8829194/why-are-types-with-no-data-constructors-valid">http://stackoverflow.com/questions/8829194/why-are-types-with-no-data-constructors-valid</a></div><div> 50. <a href="http://stackoverflow.com/questions/8716668/folding-flatmap-bind-over-a-list-of-functions-a-k-a-name-that-combinator">http://stackoverflow.com/questions/8716668/folding-flatmap-bind-over-a-list-of-functions-a-k-a-name-that-combinator</a></div>
<div><br></div>