[Haskell-cafe] Haskell Weekly News: Issue 199

Thu Sep 15 02:19:10 CEST 2011

   Welcome to issue 199 of the HWN, a newsletter covering developments in
   the Haskell community. This release covers the week of September 4 to
   10, 2011.

Announcements

   Johannes Waldmann open the invitation to the 6th Haskell in Leipzig
   workshop, on October 7, 2011. It "will present an absolutely thrilling
   mixture of tutorials and talks, with special enphasis on parallel
   programming."
   [1] http://goo.gl/u0PwF

New and Updated Projects

   * Hs2lib (Phyx; v-0.5.5) A preprocesor and library which allow you
     to create dynamic libs from arbitrary annotated Haskell programs
     with one click. It also allows you to use the generated lib in C,
     C++, and C# just by including the generated header files.
     [2] http://goo.gl/xCSXc

   * Netwire (Ertugrul Soeylemez; 1.2.0) Lots of new features!
     [3] http://goo.gl/VCwb1

   * network-address (Sebastian Nowicki; 0.2.0) Provides data
     structures and textual representation of network addresses (IPv4,
     IPv6, subnets).
     [4] http://goo.gl/DBRI6

   * Webrexp (Vincent Berthoux; 1.1) A web scraping command line
     utility.
     [5] http://goo.gl/OlovQ

   * eddie (Mike Meyer; 0.5) Is a tool for applying haskell filters
     to text files via the unix command line.
     [6] http://goo.gl/NPc0b

   * cabal-ghci (Etienne Laurin; 0.1) Package to ease the development
     of projects using cabal.
     [7] http://goo.gl/fiDKZ

Quotes of the Week

   * gosu: Type parameters are covariant. This is not sound, and that
     does not matter.
   * turtlesalltheway: if haskell is so great why cant it improve itself
   * mm_freak: bosses are generally quite strong, static and lazy
   * cmccann: newtype Natural = N { denature :: Integer }

Top Reddit Stories

   * Constraint Kinds for GHC
     Domain: blog.omega-prime.co.uk, Score: 115, Comments: 12
     On Reddit: [8] http://goo.gl/bCXgf
     Original: [9] http://goo.gl/7aWzn

   * Yesod :: The Limitations of Haskell
     Domain: yesodweb.com, Score: 108, Comments: 42
     On Reddit: [10] http://goo.gl/5q7wW
     Original: [11] http://goo.gl/gisIh

   * Frege: haskell like language on JVM
     (tries to adhere to haskell 2010 where possible)
     Domain: code.google.com, Score: 58, Comments: 58
     On Reddit: [12] http://goo.gl/6KWEg
     Original: [13] http://goo.gl/56AkX

   * Sharing in Haskell – How the let and lambda constructs give
     a precise way to control sharing
     Domain: neilmitchell.blogspot.com, Score: 34, Comments: 18
     On Reddit: [14] http://goo.gl/Uf1vq
     Original: [15] http://goo.gl/4Hmfu

   * Let's play a game : How to implement functions from their type
     signatures
     Domain: blog.ezyang.com, Score: 24, Comments: 13
     On Reddit: [16] http://goo.gl/T2FiD
     Original: [17] http://goo.gl/SmbYO

   * Impredicativity + injectivity + type case analysis = inconsistency
     (Russell paradox) :: Oleg
     Domain: okmij.org, Score: 23, Comments: 10
     On Reddit: [18] http://goo.gl/zoThI
     Original: [19] http://goo.gl/jFr5U

   * Functional Pearls
     Domain: haskell.org, Score: 23, Comments: 1
     On Reddit: [20] http://goo.gl/RVyng
     Original: [21] http://goo.gl/1A7t0

   * An EventSource broker written in Haskell
     Domain: mathias-biilmann.net, Score: 22, Comments: 0
     On Reddit: [22] http://goo.gl/7yywu
     Original: [23] http://goo.gl/Y5mGj

   * Haskell For Kids: Week 4
     Domain: cdsmith.wordpress.com, Score: 22, Comments: 2
     On Reddit: [24] http://goo.gl/KwlqD
     Original: [25] http://goo.gl/xlNh2

   * apfelmus - Vault - a persistent store for values of arbitrary types
     Domain: apfelmus.nfshost.com, Score: 19, Comments: 2
     On Reddit: [26] http://goo.gl/VAE4n
     Original: [27] http://goo.gl/vvQ7A

   * Tau is available in Haskell, you can safely avoid Pi
     Domain: hackage.haskell.org, Score: 19, Comments: 26
     On Reddit: [28] http://goo.gl/u5GN8
     Original: [29] http://goo.gl/VnrMh

   * Zipper from any Traversable :: Oleg
     Domain: okmij.org, Score: 18, Comments: 2
     On Reddit: [30] http://goo.gl/xi4ZF
     Original: [31] http://goo.gl/nqZ3T

Top StackOverflow Questions

   * More on generic Scala functions
     votes: 20, answers: 4
     Read on SO: [32] http://goo.gl/DGH14

   * Why is a “type class” called “type class”?
     votes: 20, answers: 2
     Read on SO: [33] http://goo.gl/YbVXX

   * Is there a Haskell idiom for updating a nested data structure?
     votes: 14, answers: 2
     Read on SO: [34] http://goo.gl/jKEjv

   * How to tell if a list is infinite?
     votes: 14, answers: 4
     Read on SO: [35] http://goo.gl/fc3e6

   * Select random element from a set, faster than linear time (Haskell)
     votes: 9, answers: 5
     Read on SO: [36] http://goo.gl/IRJf3

   * GHC not optimising modules other than the main module
     votes: 9, answers: 0
     Read on SO: [37] http://goo.gl/8Ephm

   * A chess board representation in Haskell
     votes: 8, answers: 4
     Read on SO: [38] http://goo.gl/iSM7d

   * How to cap memory usage of Haskell threads
     votes: 7, answers: 2
     Read on SO: [39] http://goo.gl/dvLnE

   * Is this Haskell type inference in action, or something else?
     votes: 7, answers: 2
     Read on SO: [40] http://goo.gl/hTaK7

   * Assymmetry in the bind function
     votes: 6, answers: 7
     Read on SO: [41] http://goo.gl/KqMTn

About the Haskell Weekly News

   To help create new editions of this newsletter, please send stories to
   dstcruz at gmail.com.

   Until next time,
   Daniel Santa Cruz

References

   1. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92287
   2. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92182
   3. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92225
   4. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18916
   5. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18929
   6. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18930
   7. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92279
   8. http://blog.omega-prime.co.uk/?p=127
   9.
http://www.reddit.com/r/haskell/comments/kbf14/constraint_kinds_for_ghc/
  10. http://www.yesodweb.com/blog/2011/09/limitations-of-haskell
  11.
http://www.reddit.com/r/haskell/comments/k4lc4/yesod_the_limitations_of_haskell/
  12. http://code.google.com/p/frege/
  13.
http://www.reddit.com/r/haskell/comments/kadx6/frege_haskell_like_language_on_jvm_tries_to/
  14. http://neilmitchell.blogspot.com/2011/09/sharing-in-haskell.html
  15.
http://www.reddit.com/r/haskell/comments/k4bq9/sharing_in_haskell_how_the_let_and_lambda/
  16. http://blog.ezyang.com/2011/09/lets-play-a-game/
  17.
http://www.reddit.com/r/haskell/comments/k5okh/lets_play_a_game_how_to_implement_functions_from/
  18. http://okmij.org/ftp/Haskell/impredicativity-bites.html
  19.
http://www.reddit.com/r/haskell/comments/k5bdb/impredicativity_injectivity_type_case_analysis/
  20. http://www.haskell.org/haskellwiki/Research_papers/Functional_pearls
  21. http://www.reddit.com/r/haskell/comments/kb3w5/functional_pearls/
  22. http://mathias-biilmann.net/posts/2011/9/a-haskell-eventsource-broker
  23.
http://www.reddit.com/r/haskell/comments/k6fva/an_eventsource_broker_written_in_haskell/
  24. http://cdsmith.wordpress.com/2011/09/10/haskell-for-kids-week-4/
  25.
http://www.reddit.com/r/haskell/comments/kbqn0/haskell_for_kids_week_4/
  26. http://apfelmus.nfshost.com/blog/2011/09/04-vault.html
  27.
http://www.reddit.com/r/haskell/comments/k4l6c/apfelmus_vault_a_persistent_store_for_values_of/
  28. http://hackage.haskell.org/package/tau
  29.
http://www.reddit.com/r/haskell/comments/kazfn/tau_is_available_in_haskell_you_can_safely_avoid/
  30. http://okmij.org/ftp/continuations/zipper.html#traversable
  31.
http://www.reddit.com/r/haskell/comments/k5bci/zipper_from_any_traversable_oleg/
  32.
http://stackoverflow.com/questions/7337582/more-on-generic-scala-functions
  33.
http://stackoverflow.com/questions/7360024/why-is-a-type-class-called-type-class
  34.
http://stackoverflow.com/questions/7365425/is-there-a-haskell-idiom-for-updating-a-nested-data-structure
  35.
http://stackoverflow.com/questions/7371730/how-to-tell-if-a-list-is-infinite
  36.
http://stackoverflow.com/questions/7349080/select-random-element-from-a-set-faster-than-linear-time-haskell
  37.
http://stackoverflow.com/questions/7367070/ghc-not-optimising-modules-other-than-the-main-module
  38.
http://stackoverflow.com/questions/7309554/a-chess-board-representation-in-haskell
  39.
http://stackoverflow.com/questions/7297654/how-to-cap-memory-usage-of-haskell-threads
  40.
http://stackoverflow.com/questions/7342222/is-this-haskell-type-inference-in-action-or-something-else
  41.
http://stackoverflow.com/questions/7319424/assymmetry-in-the-bind-function
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110914/b4624f9e/attachment.htm>