[Haskell-cafe] Haskell Weekly News: Issue 233

Thu Jun 28 00:33:22 CEST 2012

Welcome to issue 233 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of June 17 to 23, 2012.

Quotes of the Week

   * ciaranm: if it's ugly, it's imperative. if it's incomprehensible,
              it's functional.

   * xplat: when life gives you lemons, make lemonads

Top Reddit Stories

   * What are everyone's favorite "aha" moments in learning Haskell?
     Domain: self.haskell, Score: 93, Comments: 156
     On Reddit: [1] http://goo.gl/8YSyY
     Original: [2] http://goo.gl/8YSyY

   * Unit testing isn't enough. You need static typing too.
     Domain: evanfarrer.blogspot.ca, Score: 82, Comments: 22
     On Reddit: [3] http://goo.gl/b73gf
     Original: [4] http://goo.gl/JF4ND

   * Snap Framework 0.9 Released
     Domain: snapframework.com, Score: 60, Comments: 7
     On Reddit: [5] http://goo.gl/7fP9D
     Original: [6] http://goo.gl/7SoU6

   * Haskell’s record system is a cruel joke
     Domain: labs.scrive.com, Score: 52, Comments: 100
     On Reddit: [7] http://goo.gl/XKIch
     Original: [8] http://goo.gl/wOvyc

   * Polymorphic Update with van Laarhoven Lenses
     Domain: r6.ca, Score: 51, Comments: 9
     On Reddit: [9] http://goo.gl/qvpPg
     Original: [10] http://goo.gl/34TbY

   * Building a blog with Snap and Heist
     Domain: bonus500.github.com, Score: 45, Comments: 30
     On Reddit: [11] http://goo.gl/UDHCs
     Original: [12] http://goo.gl/eo9a3

   * Totality vs. Turing completeness (McBride)[PDF, 35 slides, ±]
     Domain: personal.cis.strath.ac.uk, Score: 42, Comments: 22
     On Reddit: [13] http://goo.gl/qua0n
     Original: [14] http://goo.gl/8auaP

   * GHC's imprecise (non-deterministic) "error"
     Domain: stackoverflow.com, Score: 41, Comments:
     On Reddit: [15] http://goo.gl/6WQWx
     Original: [16] http://goo.gl/MOCeT

   * Hackage comments — a simple user script
     Domain: chrisdone.com, Score: 39, Comments: 17
     On Reddit: [17] http://goo.gl/t9oBH
     Original: [18] http://goo.gl/CmXuB

   * A Notation for Comonads (Orchard, Mycroft) [pdf]
     Domain: cl.cam.ac.uk, Score: 38, Comments: 48
     On Reddit: [19] http://goo.gl/S4lz9
     Original: [20] http://goo.gl/uw8ZY

   * Taming list syntax in Haskell
     Domain: labs.scrive.com, Score: 36, Comments: 29
     On Reddit: [21] http://goo.gl/YLTZL
     Original: [22] http://goo.gl/UJpcB

   * Shell scripting with type-safety using Haskell « Linux-Magazin Online
     Domain: linux-magazin.de, Score: 36, Comments: 32
     On Reddit: [23] http://goo.gl/yEMQ0
     Original: [24] http://goo.gl/U3zO5

   * Roy, A Statically Typed, Functional Language for Javascript.
     The Functional Web [PDF]
     Domain: brianmckenna.org, Score: 32, Comments: 9
     On Reddit: [25] http://goo.gl/SBhec
     Original: [26] http://goo.gl/v0iH2

   * [ANN] GenCheck - a generalized property-based testing framework
     Domain: permalink.gmane.org, Score: 30, Comments:
     On Reddit: [27] http://goo.gl/GCUGJ
     Original: [28] http://goo.gl/c2Y0s

Top StackOverflow Questions

   * How do exceptions in Haskell work?
     votes: 53, answers: 1
     Read on SO: [29] http://goo.gl/MOCeT

   * Has anyone ever compiled a list of the imports needed to avoid the
     “not polymorphic enough” definitions in Haskell's standard libraries?
     votes: 19, answers: 1
     Read on SO: [30] http://goo.gl/kyXde

   * Why does adding a polymorphic type signature degrade performance?
     votes: 13, answers: 2
     Read on SO: [31] http://goo.gl/Lf18k

   * To write or not to write `module Main where` in Haskell
     votes: 10, answers: 1
     Read on SO: [32] http://goo.gl/IDSOx

   * Why aren't FingerTrees used enough to have a stable implementation?
     votes: 10, answers: 3
     Read on SO: [33] http://goo.gl/wzw4e

   * What is the difference between PArray and [::] in Data Parallel Haskell?
     votes: 9, answers: 0
     Read on SO: [34] http://goo.gl/FpUJX

   * Why discarded values are () instead of ⊥ in Haskell?
     votes: 8, answers: 5
     Read on SO: [35] http://goo.gl/jIK26

   * Is it possible to embed Haskell in a C library opaquely?
     votes: 8, answers: 1
     Read on SO: [36] http://goo.gl/3H5tu

   * NoMonomorphismRestriction helps preserve sharing?
     votes: 8, answers: 2
     Read on SO: [37] http://goo.gl/FDdeA

   * Why doesn't Haskell/GHC support record name overloading
     votes: 7, answers: 2
     Read on SO: [38] http://goo.gl/NsHKM

Until next time,
Daniel Santa Cruz

References

   1. http://www.reddit.com/r/haskell/comments/vi425/what_are_everyones_favorite_aha_moments_in/
   2. http://www.reddit.com/r/haskell/comments/vi425/what_are_everyones_favorite_aha_moments_in/
   3. http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html
   4. http://www.reddit.com/r/haskell/comments/vbwrv/unit_testing_isnt_enough_you_need_static_typing/
   5. http://snapframework.com/blog/2012/06/17/snap-0.9-released
   6. http://www.reddit.com/r/haskell/comments/v779m/snap_framework_09_released/
   7. http://labs.scrive.com/2012/06/haskell-lacks-a-serious-record-system/
   8. http://www.reddit.com/r/haskell/comments/vdg55/haskells_record_system_is_a_cruel_joke/
   9. http://r6.ca/blog/20120623T104901Z.html
  10. http://www.reddit.com/r/haskell/comments/vhbf4/polymorphic_update_with_van_laarhoven_lenses/
  11. http://bonus500.github.com/sc2blog/
  12. http://www.reddit.com/r/haskell/comments/vg3q2/building_a_blog_with_snap_and_heist/
  13. https://personal.cis.strath.ac.uk/conor.mcbride/pub/Totality.pdf
  14. http://www.reddit.com/r/haskell/comments/vazfp/totality_vs_turing_completeness_mcbridepdf_35/
  15. http://stackoverflow.com/questions/11070690/how-do-exceptions-in-haskell-work
  16. http://www.reddit.com/r/haskell/comments/v6sec/ghcs_imprecise_nondeterministic_error/
  17. http://chrisdone.com/hackage-comments/
  18. http://www.reddit.com/r/haskell/comments/v8gvc/hackage_comments_a_simple_user_script/
  19. http://www.cl.cam.ac.uk/~dao29/drafts/codo-notation-orchard12.pdf
  20. http://www.reddit.com/r/haskell/comments/v6ik6/a_notation_for_comonads_orchard_mycroft_pdf/
  21. http://labs.scrive.com/2012/06/taming-list-syntax-in-haskell/
  22. http://www.reddit.com/r/haskell/comments/v9ilw/taming_list_syntax_in_haskell/
  23. http://www.linux-magazin.de/Online-Artikel/Shell-scripting-with-type-safety-using-Haskell/
  24. http://www.reddit.com/r/haskell/comments/vdrt0/shell_scripting_with_typesafety_using_haskell/
  25. http://brianmckenna.org/files/IC-Roy.pdf
  26. http://www.reddit.com/r/haskell/comments/vhkgf/roy_a_statically_typed_functional_language_for/
  27. http://permalink.gmane.org/gmane.comp.lang.haskell.general/19371
  28. http://www.reddit.com/r/haskell/comments/va5ao/ann_gencheck_a_generalized_propertybased_testing/
  29. http://stackoverflow.com/questions/11070690/how-do-exceptions-in-haskell-work
  30. http://stackoverflow.com/questions/11076062/has-anyone-ever-compiled-a-list-of-the-imports-needed-to-avoid-the-not-polymorp
  31. http://stackoverflow.com/questions/11145503/why-does-adding-a-polymorphic-type-signature-degrade-performance
  32. http://stackoverflow.com/questions/11112371/to-write-or-not-to-write-module-main-where-in-haskell
  33. http://stackoverflow.com/questions/11151732/why-arent-fingertrees-used-enough-to-have-a-stable-implementation
  34. http://stackoverflow.com/questions/11103707/what-is-the-difference-between-parray-and-in-data-parallel-haskell
  35. http://stackoverflow.com/questions/11076938/why-discarded-values-are-instead-of-in-haskell
  36. http://stackoverflow.com/questions/11137443/is-it-possible-to-embed-haskell-in-a-c-library-opaquely
  37. http://stackoverflow.com/questions/11145904/nomonomorphismrestriction-helps-preserve-sharing
  38. http://stackoverflow.com/questions/11100322/why-doesnt-haskell-ghc-support-record-name-overloading