Welcome to issue 212 of the HWN, a newsletter covering developments in the Haskell community. This issue covers top Haskell stories from around the web found between January 11 to 21, 2012. You can find the HTML version at: http://contemplatecode.blogspot.com/2012/01/haskell-weekly-news-issue-212.ht... Quotes of the Week * shachaf: Haskell's type system is the perfect mix of useless and stupid. * roconnor: gez, you write one paper explaining how a lens is really a higher order monoidal natural transformation, and suddenly everyone thinks you are an expert on lenses. * roconnor: a lens is a monoidal natural transformation between higher-order coalgebra functors, what's the problem? * Enigmagic: we use the 'rsync' deploy model * cmccann: someone should implement a dependently-typed unsafeCoerce in Agda, you'd have to provide a proof that the coercion is invalid * ghc: Couldn't match type `No' with `Yes' Top Reddit Stories * Idris - A language with dependent types Domain: idris-lang.org, Score: 43, Comments: 30 On Reddit: [1] http://goo.gl/pZdKX Original: [2] http://goo.gl/MxXKx * Purely Functional, Declarative Game Logic Using Reactive Programming Domain: github.com, Score: 38, Comments: 17 On Reddit: [3] http://goo.gl/ByPJj Original: [4] http://goo.gl/1PYa4 * A guided tour through the bytestring library Domain: meiersi.github.com, Score: 32, Comments: 10 On Reddit: [5] http://goo.gl/0YUQ2 Original: [6] http://goo.gl/A2u2S * Comprehensions Domain: patternsinfp.wordpress.com, Score: 26, Comments: 7 On Reddit: [7] http://goo.gl/9Zv3F Original: [8] http://goo.gl/SNA14 * Thinking of writing a tutorial series on FP and Haskell. Here's a demo. Domain: codingtales.com, Score: 24, Comments: 9 On Reddit: [9] http://goo.gl/eU99Y Original: [10] http://goo.gl/1efUI * UHC compiles Haskell to JavaScript. Web game using Haskell for Ludum Dare? Domain: chrisdone.com, Score: 23, Comments: 4 On Reddit: [11] http://goo.gl/og088 Original: [12] http://goo.gl/8Op3M * Warp Conduits Released! Domain: yesodweb.com, Score: 22, Comments: 3 On Reddit: [13] http://goo.gl/zpHnZ Original: [14] http://goo.gl/5Vl3w * Why are guards in the list comprehension faster than in the do-notation? Domain: self.haskell, Score: 19, Comments: 22 On Reddit: [15] http://goo.gl/1T8Kk Original: [16] http://goo.gl/1T8Kk * Hac Boston Domain: self.haskell, Score: 19, Comments: 7 On Reddit: [17] http://goo.gl/xWWZF Original: [18] http://goo.gl/xWWZF * Easy steps to install gtk and use all its features on OS X lion Domain: gist.github.com, Score: 16, Comments: 10 On Reddit: [19] http://goo.gl/Teh6P Original: [20] http://goo.gl/Su6Y1 Top StackOverflow Questions * What is this haskell syntax? votes: 19, answers: 1 Read on SO: [21] http://goo.gl/JCYg0 * Why is the type of this function (a -> a) -> a? votes: 18, answers: 4 Read on SO: [22] http://goo.gl/BTr8e * `Integer` vs `Int64` vs `Word64` votes: 13, answers: 1 Read on SO: [23] http://goo.gl/Pc2CX * Did I just write a continuation? votes: 12, answers: 1 Read on SO: [24] http://goo.gl/aXnTw * How lazy is Haskell's `++`? votes: 12, answers: 3 Read on SO: [25] http://goo.gl/GxPxC * Can Haskell be used to write shell scripts? votes: 12, answers: 4 Read on SO: [26] http://goo.gl/u3Qke * Why does this Haskell code compile? votes: 12, answers: 2 Read on SO: [27] http://goo.gl/yz6VB * Any nice tools for untying knots in Haskell? votes: 11, answers: 4 Read on SO: [28] http://goo.gl/YGNeq * Two-dimensional zipper votes: 10, answers: 2 Read on SO: [29] http://goo.gl/37E9J * the way merge-sort faster than insertion-sort puzzles me votes: 10, answers: 2 Read on SO: [30] http://goo.gl/mkmdc * Haskell function that takes a type and a value and checks if value has that type votes: 10, answers: 1 Read on SO: [31] http://goo.gl/tJO81 Until next time, Daniel Santa Cruz References 1. http://idris-lang.org/ 2. http://www.reddit.com/r/haskell/comments/ol90m/idris_a_language_with_depende... 3. https://github.com/leonidas/codeblog/blob/master/2012/2012-01-17-declarative... 4. http://www.reddit.com/r/haskell/comments/ol7vm/purely_functional_declarative... 5. http://meiersi.github.com/HaskellerZ/meetups/2012%2001%2019%20-%20The%20byte... 6. http://www.reddit.com/r/haskell/comments/oqjhy/a_guided_tour_through_the_byt... 7. http://patternsinfp.wordpress.com/2012/01/19/comprehensions/ 8. http://www.reddit.com/r/haskell/comments/on8a6/comprehensions/ 9. http://codingtales.com/2012/01/16/understanding-foldl-using-foldr-from-real-... 10. http://www.reddit.com/r/haskell/comments/oi4l2/thinking_of_writing_a_tutoria... 11. http://chrisdone.com/posts/2012-01-06-uhc-javascript.html 12. http://www.reddit.com/r/haskell/comments/olthb/uhc_compiles_haskell_to_javas... 13. http://www.yesodweb.com/blog/2012/01/warp-conduits 14. http://www.reddit.com/r/haskell/comments/on285/warp_conduits_released/ 15. http://www.reddit.com/r/haskell/comments/oolyt/why_are_guards_in_the_list_co... 16. http://www.reddit.com/r/haskell/comments/oolyt/why_are_guards_in_the_list_co... 17. http://www.reddit.com/r/haskell/comments/opgi1/hac_boston/ 18. http://www.reddit.com/r/haskell/comments/opgi1/hac_boston/ 19. https://gist.github.com/1655271 20. http://www.reddit.com/r/haskell/comments/or0ro/easy_steps_to_install_gtk_and... 21. http://stackoverflow.com/questions/8905178/what-is-this-haskell-syntax 22. http://stackoverflow.com/questions/8918990/why-is-the-type-of-this-function-... 23. http://stackoverflow.com/questions/8873000/integer-vs-int64-vs-word64 24. http://stackoverflow.com/questions/8867837/did-i-just-write-a-continuation 25. http://stackoverflow.com/questions/8872714/how-lazy-is-haskells 26. http://stackoverflow.com/questions/8925780/can-haskell-be-used-to-write-shel... 27. http://stackoverflow.com/questions/8935568/why-does-this-haskell-code-compil... 28. http://stackoverflow.com/questions/8945096/any-nice-tools-for-untying-knots-... 29. http://stackoverflow.com/questions/8905030/two-dimensional-zipper 30. http://stackoverflow.com/questions/8919785/the-way-merge-sort-faster-than-in... 31. http://stackoverflow.com/questions/8957601/haskell-function-that-takes-a-typ...