[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