Welcome to issue 248 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of October 14 to October 20, 2012. Quotes of the Week * shachaf: Don't fixity fit ain't broken. * shachaf: SIKP, the cheap knockoff book that uses the less-known programming language "skeem" * shachaf: category-extras was so great until the antitrust lawsuit. * Cale: If there was a second syntax and we named it cata' would that be a catastrophe? * acowley: I just don't want edwardk to name them, because he'll choose a name like "x" * cmccann: so edwardk has abstracted things to the point where you can use his libraries without even installing them * Jafet: Agda has an evaluator? * johnw: but probably the other package is more "idiomatic". if by that you mean "uses mathematics to such a degree that most people walk away in consternation" * copumpkin: if I throw enough CT terms out there, one of them is bound to be right eventually * spj: "Our imperative colleagues do a lot of reasoning about their systems. Well, they have to." * spj: "You do the category theory, and you talk to Gordon. And he talks to Phil. And Phil talks to me." * ciaranm: a confusion is just the categorical dual of a fusion, which is just a fusoid in the category of brainofunctors Top Reddit Stories * The University of Heidelberg now uses Haskell for the intro cs course! Domain: self.haskell, Score: 85, Comments: 60 On Reddit: [1] http://goo.gl/abq2b Original: [2] http://goo.gl/abq2b * Cartesian Closed Comic #15: Iteratees Domain: ro-che.info, Score: 74, Comments: 2 On Reddit: [3] http://goo.gl/9NpD2 Original: [4] http://goo.gl/SB7HZ * Fast Code Nation: The Bright Side of High-Level Languages Domain: bos.github.com, Score: 63, Comments: 11 On Reddit: [5] http://goo.gl/KmBRt Original: [6] http://goo.gl/jm9s7 * VIDEO: Simon Marlow on High Performance Concurrency at the Haskell eXchange at Skills Matter Oct. 10th Domain: skillsmatter.com, Score: 44, Comments: On Reddit: [7] http://goo.gl/IuJhH Original: [8] http://goo.gl/BeHRg * Cellular automata as comonads Domain: blog.sigfpe.com, Score: 36, Comments: 10 On Reddit: [9] http://goo.gl/73nr2 Original: [10] http://goo.gl/vH4TK * VIDEO: Simon Peyton Jones at the Haskell eXchange about the origins and the future of Haskell Domain: skillsmatter.com, Score: 31, Comments: 6 On Reddit: [11] http://goo.gl/Iklcf Original: [12] http://goo.gl/WxJhc * Duality for Haskellers : Inside 206-105 Domain: blog.ezyang.com, Score: 31, Comments: 1 On Reddit: [13] http://goo.gl/qhohx Original: [14] http://goo.gl/VuHMS * Communication Patterns in Cloud Haskell (Part 4): K-Means Domain: well-typed.com, Score: 27, Comments: On Reddit: [15] http://goo.gl/9bT02 Original: [16] http://goo.gl/7S5XQ * VIDEO: Duncan Coutts on Cloud Haskell at the Haskell eXchange at Skills Matter Oct 10 Domain: skillsmatter.com, Score: 26, Comments: 29 On Reddit: [17] http://goo.gl/lLyGD Original: [18] http://goo.gl/eUd0W * How to use Yesod without Template Haskell Domain: yesodweb.com, Score: 26, Comments: On Reddit: [19] http://goo.gl/HT3aD Original: [20] http://goo.gl/s81mw * Variance Shadow Mapping with LambdaCube 3D Domain: lambdacube3d.wordpress.com, Score: 23, Comments: 5 On Reddit: [21] http://goo.gl/g3Hs0 Original: [22] http://goo.gl/jDv0S * Thinking Functionally with Haskell | PragPub 2012/10 Domain: pragprog.com, Score: 21, Comments: 1 On Reddit: [23] http://goo.gl/N9HRL Original: [24] http://goo.gl/6ptKX * Haskell Automatic Information Labeling System - new release and video Domain: self.haskell, Score: 18, Comments: 4 On Reddit: [25] http://goo.gl/ujURP Original: [26] http://goo.gl/ujURP * Livecoding with the Happstack web framework. (2 hour video) Domain: youtube.com, Score: 18, Comments: 22 On Reddit: [27] http://goo.gl/POkCB Original: [28] http://goo.gl/n5uNA * VIDEO: Blake Rain on Scalable web applications with YESOD at the Haskell eXchange at Skills Matter Oct 10 Domain: skillsmatter.com, Score: 17, Comments: 2 On Reddit: [29] http://goo.gl/kFPsJ Original: [30] http://goo.gl/zUNBb * Measuring the performance of Warp Domain: yesodweb.com, Score: 17, Comments: 13 On Reddit: [31] http://goo.gl/MBPnT Original: [32] http://goo.gl/p3HUq * Tail Recursive Sorting (QuickSort) Domain: self.haskell, Score: 15, Comments: 31 On Reddit: [33] http://goo.gl/qkECv Original: [34] http://goo.gl/qkECv * a class that generalizes over Functor, Functor2, Functor3, and so on — Redshift Phase 2: types classes for types with arbitrary numbers of * parameters Domain: csks.wordpress.com, Score: 15, Comments: 17 On Reddit: [35] http://goo.gl/gjQL2 Original: [36] http://goo.gl/0XsPN * Wiggling Sums: a somewhat interesting Traversable problem Domain: jaspervdj.be, Score: 13, Comments: 12 On Reddit: [37] http://goo.gl/FKPw3 Original: [38] http://goo.gl/xu2oX * VIDEO: Lennart Augustsson on 'Making EDSL's Fly at the Haskell eXchange at Skills Matter Oct 10 Domain: skillsmatter.com, Score: 12, Comments: 5 On Reddit: [39] http://goo.gl/hFlF6 Original: [40] http://goo.gl/TXMg4 Top StackOverflow Questions * Why not be dependently typed? votes: 25, answers: 1 Read on SO: [41] http://goo.gl/1TSVh * Writing cojoin or cobind for n-dimensional grid type votes: 23, answers: 0 Read on SO: [42] http://goo.gl/qbz7z * Monad Transformers vs Passing parameters to functions votes: 21, answers: 1 Read on SO: [43] http://goo.gl/UpU57 * SOAP web services in haskell? votes: 16, answers: 1 Read on SO: [44] http://goo.gl/1fiiM * How does one statisfy a class constraint in an instance of a class that requires a type constructor rather than a concrete type? votes: 13, answers: 1 Read on SO: [45] http://goo.gl/DD00Q * If “List” is a monoid, what is its “set”? votes: 13, answers: 2 Read on SO: [46] http://goo.gl/bYYar * Lambda calculus in Haskell: Is there some way to make Church numerals type check? votes: 13, answers: 2 Read on SO: [47] http://goo.gl/66qKc * Relation between Haskell Threads and OS Threads in the GHC votes: 13, answers: 1 Read on SO: [48] http://goo.gl/2u8pS * Can Scala's Cake Pattern be implemented in Haskell? votes: 12, answers: 2 Read on SO: [49] http://goo.gl/QiMfg * Agda Type-Checking and Commutativity / Associativity of + votes: 9, answers: 1 Read on SO: [50] http://goo.gl/CqnMJ Until next time, Daniel Santa Cruz References 1. http://www.reddit.com/r/haskell/comments/11klmw/the_university_of_heidelberg... 2. http://www.reddit.com/r/haskell/comments/11klmw/the_university_of_heidelberg... 3. http://ro-che.info/ccc/15.html 4. http://www.reddit.com/r/haskell/comments/11t7ru/cartesian_closed_comic_15_it... 5. http://bos.github.com/reaktor-dev-day-2012/reaktor-talk-slides.html 6. http://www.reddit.com/r/haskell/comments/11sl47/fast_code_nation_the_bright_... 7. http://skillsmatter.com/podcast/home/high-performance-concurrency/ac-5258 8. http://www.reddit.com/r/haskell/comments/11geat/video_simon_marlow_on_high_p... 9. http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html 10. http://www.reddit.com/r/haskell/comments/11o6nu/cellular_automata_as_comonad... 11. http://skillsmatter.com/podcast/home/front-end-language-features/ac-5258 12. http://www.reddit.com/r/haskell/comments/11ge03/video_simon_peyton_jones_at_... 13. http://blog.ezyang.com/2012/10/duality-for-haskellers/ 14. http://www.reddit.com/r/haskell/comments/11s0j0/duality_for_haskellers_insid... 15. http://www.well-typed.com/blog/74 16. http://www.reddit.com/r/haskell/comments/11iijo/communication_patterns_in_cl... 17. http://skillsmatter.com/podcast/home/cloud-haskell/ac-5258 18. http://www.reddit.com/r/haskell/comments/11gia8/video_duncan_coutts_on_cloud... 19. http://www.yesodweb.com/blog/2012/10/yesod-pure 20. http://www.reddit.com/r/haskell/comments/11jap2/how_to_use_yesod_without_tem... 21. http://lambdacube3d.wordpress.com/2012/10/14/variance-shadow-mapping/ 22. http://www.reddit.com/r/haskell/comments/11ijjg/variance_shadow_mapping_with... 23. http://pragprog.com/magazines/2012-10/thinking-functionally-with-haskell 24. http://www.reddit.com/r/haskell/comments/11o5oa/thinking_functionally_with_h... 25. http://www.reddit.com/r/haskell/comments/11kpin/haskell_automatic_informatio... 26. http://www.reddit.com/r/haskell/comments/11kpin/haskell_automatic_informatio... 27. http://www.youtube.com/watch?v=7Wmszk4wZxQ 28. http://www.reddit.com/r/haskell/comments/11obty/livecoding_with_the_happstac... 29. http://skillsmatter.com/podcast/home/scalable-web-applications-with-yesod/ac... 30. http://www.reddit.com/r/haskell/comments/11ggaf/video_blake_rain_on_scalable... 31. http://www.yesodweb.com/blog/2012/10/measuring-warp 32. http://www.reddit.com/r/haskell/comments/11kfqu/measuring_the_performance_of... 33. http://www.reddit.com/r/haskell/comments/11lybk/tail_recursive_sorting_quick... 34. http://www.reddit.com/r/haskell/comments/11lybk/tail_recursive_sorting_quick... 35. http://csks.wordpress.com/2012/10/17/redshift-phase-2-types-classes-for-type... 36. http://www.reddit.com/r/haskell/comments/11nj47/a_class_that_generalizes_ove... 37. http://jaspervdj.be/posts/2012-10-17-wiggling-sums.html 38. http://www.reddit.com/r/haskell/comments/11mnw5/wiggling_sums_a_somewhat_int... 39. http://skillsmatter.com/podcast/home/making-edsls-fly/ac-5258 40. http://www.reddit.com/r/haskell/comments/11gg80/video_lennart_augustsson_on_... 41. http://stackoverflow.com/questions/12961651/why-not-be-dependently-typed 42. http://stackoverflow.com/questions/12963733/writing-cojoin-or-cobind-for-n-d... 43. http://stackoverflow.com/questions/12968351/monad-transformers-vs-passing-pa... 44. http://stackoverflow.com/questions/12904377/soap-web-services-in-haskell 45. http://stackoverflow.com/questions/12922187/how-does-one-statisfy-a-class-co... 46. http://stackoverflow.com/questions/12927152/if-list-is-a-monoid-what-is-its-... 47. http://stackoverflow.com/questions/12942397/lambda-calculus-in-haskell-is-th... 48. http://stackoverflow.com/questions/12944151/relation-between-haskell-threads... 49. http://stackoverflow.com/questions/12947176/can-scalas-cake-pattern-be-imple... 50. http://stackoverflow.com/questions/12949323/agda-type-checking-and-commutati...