[Haskell-cafe] Haskell Weekly News: Issue 248
Daniel Santa Cruz
dstcruz at gmail.com
Thu Oct 25 06:34:07 CEST 2012
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
More information about the Haskell-Cafe
mailing list