[Haskell-cafe] Haskell Weekly News: Issue 227
Daniel Santa Cruz
dstcruz at gmail.com
Thu May 17 03:11:07 CEST 2012
Welcome to issue 227 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of May 6 to 12, 2012.
Announcements
Doaitse Swierstra reminded us about the Summer School on Applied
Functional Programming, at Utrech University. Hurry to check it out, as
the deadline for registration is May 20th!
[1] http://goo.gl/TZYdd
Janis Voigtlander announced the release of the 22nd edition of the
Haskell Communities and Activities Report.
[2] http://goo.gl/pXIZn
Quotes of the Week
* dcoutts: (on #darcs): "[on github:] it's like the facebook of
source repos"
* dmwit: "Functional programming" is a technical term that means more
than just what the two words mean separately.
* Axman6: "GHC Warning: Did you see that in an OOP textbook? You
probably don't want to be doing that"
* StevenKaas: Haskell's Wager: what if infinite lists can suffer
infinitely even when lazily evaluated?
* quicksilver: "Patent covering a device for emitting greetings to
the world community as a whole in computer-readable
format" (US Patent no 1787528391)
Top Reddit Stories
* Videos to the functional programming course I attend are freely available.
I thought you might enjoy them.
Domain: self.haskell, Score: 47, Comments: 10
On Reddit: [3] http://goo.gl/SoV7x
Original: [4] http://goo.gl/SoV7x
* red-black trees in haskell, using GADTs, existential types, and zippers,
oh my
Domain: gist.github.com, Score: 40, Comments: 21
On Reddit: [5] http://goo.gl/Ae08L
Original: [6] http://goo.gl/iDxjY
* Equality proofs and deferred type errors, A compiler pearl
[Vytiniotis, Peyton Jones,Magalhaes PDF]
Domain: research.microsoft.com, Score: 40, Comments: 17
On Reddit: [7] http://goo.gl/6OUbX
Original: [8] http://goo.gl/OP6ep
* LLVM now supports NVIDIA GPU's
Domain: nvidianews.nvidia.com, Score: 36, Comments: 19
On Reddit: [9] http://goo.gl/DF7sY
Original: [10] http://goo.gl/rvYdL
* The Architecture of Open Source Applications, Volume II (with chapters on
GHC and Yesod, royalties go to Amnesty International)
Domain: lulu.com, Score: 35, Comments: 9
On Reddit: [11] http://goo.gl/XfsXB
Original: [12] http://goo.gl/1sr6u
* Jesper's Blog: My Take on Haskell vs Scala
Domain: jnordenberg.blogspot.com, Score: 29, Comments: 8
On Reddit: [13] http://goo.gl/3EM45
Original: [14] http://goo.gl/aWGgn
* Haskell Communities and Activities Report --- May 2012
Domain: haskell.org, Score: 27, Comments: 3
On Reddit: [15] http://goo.gl/q8XFZ
Original: [16] http://goo.gl/fW3Sf
* Keter: Web App Deployment
Domain: yesodweb.com, Score: 23, Comments: 19
On Reddit: [17] http://goo.gl/VOSVF
Original: [18] http://goo.gl/OJ783
* A small and simple tip for Google Code Jam-mers
Domain: self.haskell, Score: 22, Comments: 15
On Reddit: [19] http://goo.gl/9QPDW
Original: [20] http://goo.gl/9QPDW
* Composable Value Editors for GTK
Domain: twdkz.wordpress.com, Score: 21, Comments:
On Reddit: [21] http://goo.gl/w4WoR
Original: [22] http://goo.gl/LevtB
* The Brittleness of Type Hierarchies (codegrunt.co.uk)
and a Haskell approach
Domain: self.haskell, Score: 16, Comments: 17
On Reddit: [23] http://goo.gl/w4m8o
Original: [24] http://goo.gl/w4m8o
Top StackOverflow Questions
* Static types, polymorphism and specialization
votes: 18, answers: 3
Read on SO: [25] http://goo.gl/wxDZt
* Redoing the standard classes [closed]
votes: 12, answers: 2
Read on SO: [26] http://goo.gl/22MCG
* Using Cont to acquire values from the future and the past
votes: 11, answers: 1
Read on SO: [27] http://goo.gl/1zSVo
* Why is `($ 4) (> 3)` equivalent to `4 > 3`?
votes: 9, answers: 3
Read on SO: [28] http://goo.gl/5oTei
* Recursively defined instances and constraints
votes: 9, answers: 1
Read on SO: [29] http://goo.gl/uliWA
* Freeing memory allocated with newCString
votes: 8, answers: 1
Read on SO: [30] http://goo.gl/k3Izw
* What is the meaning of “quasi” in quasiquotations?
votes: 8, answers: 5
Read on SO: [31] http://goo.gl/YjPbl
* Ensuring files are closed promptly
votes: 7, answers: 3
Read on SO: [32] http://goo.gl/UCKSB
* Is there ever a good reason to use unsafePerformIO?
votes: 7, answers: 5
Read on SO: [33] http://goo.gl/y2meC
* What characters are permitted for haskell operators?
votes: 7, answers: 3
Read on SO: [34] http://goo.gl/0n1kX
* Defining an algebra module using constructive-algebra package
votes: 6, answers: 2
Read on SO: [35] http://goo.gl/vqIcG
* Haskell: Type safety with logically different Boolean values
votes: 6, answers: 3
Read on SO: [36] http://goo.gl/f1Gtz
* Data structure to represent automata
votes: 5, answers: 2
Read on SO: [37] http://goo.gl/MhsvC
Until next time,
Daniel Santa Cruz
References
1. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/98235
2. http://permalink.gmane.org/gmane.comp.lang.haskell.general/19294
3. http://www.reddit.com/r/haskell/comments/tgz57/videos_to_the_functional_programming_course_i/
4. http://www.reddit.com/r/haskell/comments/tgz57/videos_to_the_functional_programming_course_i/
5. https://gist.github.com/2659812
6. http://www.reddit.com/r/haskell/comments/ti5il/redblack_trees_in_haskell_using_gadts_existential/
7. http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/icfp12.pdf
8. http://www.reddit.com/r/haskell/comments/tjnzj/equality_proofs_and_deferred_type_errors_a/
9. http://nvidianews.nvidia.com/Releases/NVIDIA-Contributes-CUDA-Compiler-to-Open-Source-Community-7d0.aspx
10. http://www.reddit.com/r/haskell/comments/tgdia/llvm_now_supports_nvidia_gpus/
11. http://www.lulu.com/shop/amy-brown-and-greg-wilson/the-architecture-of-open-source-applications-volume-ii/paperback/product-20111008.html#productDetails
12. http://www.reddit.com/r/haskell/comments/teqai/the_architecture_of_open_source_applications/
13. http://jnordenberg.blogspot.com/2012/05/my-take-on-haskell-vs-scala.html
14. http://www.reddit.com/r/haskell/comments/tedrh/jespers_blog_my_take_on_haskell_vs_scala/
15. http://www.haskell.org/communities/05-2012/html/report.html
16. http://www.reddit.com/r/haskell/comments/tivjx/haskell_communities_and_activities_report_may_2012/
17. http://www.yesodweb.com/blog/2012/05/keter-app-deployment
18. http://www.reddit.com/r/haskell/comments/thygx/keter_web_app_deployment/
19. http://www.reddit.com/r/haskell/comments/ta5lx/a_small_and_simple_tip_for_google_code_jammers/
20. http://www.reddit.com/r/haskell/comments/ta5lx/a_small_and_simple_tip_for_google_code_jammers/
21. http://twdkz.wordpress.com/2012/05/10/composable-value-editors/
22. http://www.reddit.com/r/haskell/comments/tg58a/composable_value_editors_for_gtk/
23. http://www.reddit.com/r/haskell/comments/tdmt5/the_brittleness_of_type_hierarchies_codegruntcouk/
24. http://www.reddit.com/r/haskell/comments/tdmt5/the_brittleness_of_type_hierarchies_codegruntcouk/
25. http://stackoverflow.com/questions/10534744/static-types-polymorphism-and-specialization
26. http://stackoverflow.com/questions/10500320/redoing-the-standard-classes
27. http://stackoverflow.com/questions/10560124/using-cont-to-acquire-values-from-the-future-and-the-past
28. http://stackoverflow.com/questions/10476883/why-is-4-3-equivalent-to-4-3
29. http://stackoverflow.com/questions/10529360/recursively-defined-instances-and-constraints
30. http://stackoverflow.com/questions/10513007/freeing-memory-allocated-with-newcstring
31. http://stackoverflow.com/questions/10556631/what-is-the-meaning-of-quasi-in-quasiquotations
32. http://stackoverflow.com/questions/10518049/ensuring-files-are-closed-promptly
33. http://stackoverflow.com/questions/10529284/is-there-ever-a-good-reason-to-use-unsafeperformio
34. http://stackoverflow.com/questions/10548170/what-characters-are-permitted-for-haskell-operators
35. http://stackoverflow.com/questions/10536990/defining-an-algebra-module-using-constructive-algebra-package
36. http://stackoverflow.com/questions/10544984/haskell-type-safety-with-logically-different-boolean-values
37. http://stackoverflow.com/questions/10516603/data-structure-to-represent-automata
More information about the Haskell-Cafe
mailing list