[Haskell-cafe] Haskell Weekly News: Issue 248

[Daniel Santa Cruz]

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_now_uses_haskell_for/
   2. http://www.reddit.com/r/haskell/comments/11klmw/the_university_of_heidelberg_now_uses_haskell_for/
   3. http://ro-che.info/ccc/15.html
   4. http://www.reddit.com/r/haskell/comments/11t7ru/cartesian_closed_comic_15_iteratees/
   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_side_of_highlevel/
   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_performance/
   9. http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html
  10. http://www.reddit.com/r/haskell/comments/11o6nu/cellular_automata_as_comonads/
  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_the_haskell_exchange/
  13. http://blog.ezyang.com/2012/10/duality-for-haskellers/
  14. http://www.reddit.com/r/haskell/comments/11s0j0/duality_for_haskellers_inside_206105/
  15. http://www.well-typed.com/blog/74
  16. http://www.reddit.com/r/haskell/comments/11iijo/communication_patterns_in_cloud_haskell_part_4/
  17. http://skillsmatter.com/podcast/home/cloud-haskell/ac-5258
  18. http://www.reddit.com/r/haskell/comments/11gia8/video_duncan_coutts_on_cloud_haskell_at_the/
  19. http://www.yesodweb.com/blog/2012/10/yesod-pure
  20. http://www.reddit.com/r/haskell/comments/11jap2/how_to_use_yesod_without_template_haskell/
  21. http://lambdacube3d.wordpress.com/2012/10/14/variance-shadow-mapping/
  22. http://www.reddit.com/r/haskell/comments/11ijjg/variance_shadow_mapping_with_lambdacube_3d/
  23. http://pragprog.com/magazines/2012-10/thinking-functionally-with-haskell
  24. http://www.reddit.com/r/haskell/comments/11o5oa/thinking_functionally_with_haskell_pragpub_201210/
  25. http://www.reddit.com/r/haskell/comments/11kpin/haskell_automatic_information_labeling_system_new/
  26. http://www.reddit.com/r/haskell/comments/11kpin/haskell_automatic_information_labeling_system_new/
  27. http://www.youtube.com/watch?v=7Wmszk4wZxQ
  28. http://www.reddit.com/r/haskell/comments/11obty/livecoding_with_the_happstack_web_framework_2/
  29. http://skillsmatter.com/podcast/home/scalable-web-applications-with-yesod/ac-5258
  30. http://www.reddit.com/r/haskell/comments/11ggaf/video_blake_rain_on_scalable_web_applications/
  31. http://www.yesodweb.com/blog/2012/10/measuring-warp
  32. http://www.reddit.com/r/haskell/comments/11kfqu/measuring_the_performance_of_warp/
  33. http://www.reddit.com/r/haskell/comments/11lybk/tail_recursive_sorting_quicksort/
  34. http://www.reddit.com/r/haskell/comments/11lybk/tail_recursive_sorting_quicksort/
  35. http://csks.wordpress.com/2012/10/17/redshift-phase-2-types-classes-for-types-with-arbitrary-numbers-of-parameters/
  36. http://www.reddit.com/r/haskell/comments/11nj47/a_class_that_generalizes_over_functor_functor2/
  37. http://jaspervdj.be/posts/2012-10-17-wiggling-sums.html
  38. http://www.reddit.com/r/haskell/comments/11mnw5/wiggling_sums_a_somewhat_interesting_traversable/
  39. http://skillsmatter.com/podcast/home/making-edsls-fly/ac-5258
  40. http://www.reddit.com/r/haskell/comments/11gg80/video_lennart_augustsson_on_making_edsls_fly_at/
  41. http://stackoverflow.com/questions/12961651/why-not-be-dependently-typed
  42. http://stackoverflow.com/questions/12963733/writing-cojoin-or-cobind-for-n-dimensional-grid-type
  43. http://stackoverflow.com/questions/12968351/monad-transformers-vs-passing-parameters-to-functions
  44. http://stackoverflow.com/questions/12904377/soap-web-services-in-haskell
  45. http://stackoverflow.com/questions/12922187/how-does-one-statisfy-a-class-constraint-in-an-instance-of-a-class-that-requires
  46. http://stackoverflow.com/questions/12927152/if-list-is-a-monoid-what-is-its-set
  47. http://stackoverflow.com/questions/12942397/lambda-calculus-in-haskell-is-there-some-way-to-make-church-numerals-type-check
  48. http://stackoverflow.com/questions/12944151/relation-between-haskell-threads-and-os-threads-in-the-ghc
  49. http://stackoverflow.com/questions/12947176/can-scalas-cake-pattern-be-implemented-in-haskell
  50. http://stackoverflow.com/questions/12949323/agda-type-checking-and-commutativity-associativity-of