[Haskell] Haskell Weekly News: Issue 211

Thu Jan 19 04:38:02 CET 2012

Welcome to issue 211 of the HWN, a newsletter covering developments in
the Haskell community. This release covers top stories found around the
net between January 01 to 14, 2012.

This is going to be a shorted version, as I have been out of time. I
did not want to let more time go by without a heartbeat from your
friendly HWN.

Happy coding!

You can find an HTML version at:
http://contemplatecode.blogspot.com/2012/01/haskell-weekly-news-issue-211.html

Quotes of the Week

   * <ddarius> xtalmath: #math or #not-math would probably be a more
     appropriate place to ask.
     <shachaf> ddarius: Those two channels pretty much cover it all.
     <ddarius> shachaf: You're clearly not an intuitionist.

   * monochrom: in fact, freedom is the freedom to write 2.2 = 4

   * Jafet: caleskell is the standard golf course.

   * byorgey: Escaped skolem! Authorities mount massive search. News at
     11.

   * BMeph: loves swapping function arguments, he said flippantly

   * kmc: "Haskell is great, because Curry-Howard! Proving things in the
     type system. We can prove that, uh, Ints exist, unless they're
     [bottom]."

   * Jafet: In Soviet Russia, State executes you

   * byorgey: that would be known as "low-dimensional linear algebra",
     where "low-dimensional" is said in as condescending a tone as
     possible

   * monochrom: at a crossroad you meet an angel (always tells the
     truth) or demon (always lies). the crossroad gives you two choices
     of roads, one to heaven, one to hell, and only the angel or demon
     knows which is which. if you ask "how would you answer if I asked
     'what is a monad?'", what will happen?

Top Reddit Stories

   * Dropbox tech blog » Using the Dropbox API from Haskell
     Domain: tech.dropbox.com, Score: 68, Comments: 4
     On Reddit: [1] http://goo.gl/rsndV
     Original: [2] http://goo.gl/g3RyF

   * A new approach to iteratees
     Domain: self.haskell, Score: 48, Comments: 99
     On Reddit: [3] http://goo.gl/ZRbGW
     Original: [4] http://goo.gl/ZRbGW

   * Haskell / Repa Real-Time Ray Tracing Demo
     Domain: youtube.com, Score: 45, Comments: 7
     On Reddit: [5] http://goo.gl/rzyZs
     Original: [6] http://goo.gl/15P2V

   * Order theory for computer scientists
     Domain: matt.might.net, Score: 39, Comments: 1
     On Reddit: [7] http://goo.gl/nTOfr
     Original: [8] http://goo.gl/HAVjQ

   * Generalizing Streams into Coroutines (with an introduction to
functors, applicative functors and arrows)
     Domain: github.com, Score: 38, Comments: 15
     On Reddit: [9] http://goo.gl/hUopY
     Original: [10] http://goo.gl/avTUf

   * Well-Typed are hiring: Haskell consultant
     Domain: well-typed.com, Score: 38, Comments: 71
     On Reddit: [11] http://goo.gl/Chu7f
     Original: [12] http://goo.gl/VHPfJ

   * Why iteratees are hard to understand
     Domain: blog.ezyang.com, Score: 34, Comments: 11
     On Reddit: [13] http://goo.gl/LrEoV
     Original: [14] http://goo.gl/d1scG

   * Modern reall-world Haskell?
     Domain: self.haskell, Score: 33, Comments: 21
     On Reddit: [15] http://goo.gl/l0Aud
     Original: [16] http://goo.gl/l0Aud

   * FRP: reactive-banana is getting dynamic event switching
     Domain: apfelmus.nfshost.com, Score: 30, Comments: 3
     On Reddit: [17] http://goo.gl/dGblT
     Original: [18] http://goo.gl/ovRE5

   * wxHaskell and wxWidgets 2.9
     Domain: wewantarock.wordpress.com, Score: 29, Comments:
     On Reddit: [19] http://goo.gl/sxiBx
     Original: [20] http://goo.gl/878Aj

   * Updated Yesod blog example: i18n, authentication, authorization, and
database
     Domain: yesodweb.com, Score: 28, Comments: 22
     On Reddit: [21] http://goo.gl/4eDAT
     Original: [22] http://goo.gl/duzSG

   * Experiments in Haskell Packaging
     Domain: justhaskell.org, Score: 27, Comments: 5
     On Reddit: [23] http://goo.gl/y2vHk
     Original: [24] http://goo.gl/0nADv

   * http-conduit
     Domain: yesodweb.com, Score: 26, Comments: 26
     On Reddit: [25] http://goo.gl/gisUJ
     Original: [26] http://goo.gl/mMhaf

   * Reasoning about Stream Processing with Effects
     Domain: personal.cis.strath.ac.uk, Score: 26, Comments: 6
     On Reddit: [27] http://goo.gl/3Ckzr
     Original: [28] http://goo.gl/Uw8ZO

   * Simon Marlow's Parallel and Concurrent Programming Haskell (slides)
     Domain: self.haskell, Score: 26, Comments: 3
     On Reddit: [29] http://goo.gl/Rg0Lz
     Original: [30] http://goo.gl/Rg0Lz

   * Who is my Community? -- wxHaskell maintainer's thoughts on C bindings
     Domain: wewantarock.wordpress.com, Score: 26, Comments:
     On Reddit: [31] http://goo.gl/tcqZN
     Original: [32] http://goo.gl/mRwQa

Top StackOverflow Questions

   * Fun with repeated fmap
     votes: 26, answers: 1
     Read on SO: [33] http://goo.gl/T2FPm

   * Can a compiler automatically detect pure functions without the type
information about purity?
     votes: 23, answers: 2
     Read on SO: [34] http://goo.gl/wgYim

   * What does “floated out” mean?
     votes: 21, answers: 2
     Read on SO: [35] http://goo.gl/8J3no

   * Haskell projects to study and learn from?
     votes: 19, answers: 2
     Read on SO: [36] http://goo.gl/SHwsZ

   * How do you identify monadic design patterns?
     votes: 19, answers: 4
     Read on SO: [37] http://goo.gl/dE3EJ

   * how do I get good (small) shrinks out of QuickCheck?
     votes: 16, answers: 0
     Read on SO: [38] http://goo.gl/X3ZOs

   * Which applicative functor is used for passing shared parameters?
     votes: 14, answers: 1
     Read on SO: [39] http://goo.gl/UxmZK

   * Double map in haskell?
     votes: 12, answers: 2
     Read on SO: [40] http://goo.gl/uWpuz

   * Higher ranked and impredicative types
     votes: 12, answers: 1
     Read on SO: [41] http://goo.gl/zpkXn

   * Handling events in Haskell
     votes: 12, answers: 1
     Read on SO: [42] http://goo.gl/e7sV9

   * Does the term “monadic” in J have anything to do with its Haskell use?
     votes: 12, answers: 4
     Read on SO: [43] http://goo.gl/hTa2j

   * Any good articles on optimizing Haskell code?
     votes: 12, answers: 2
     Read on SO: [44] http://goo.gl/FzRrf

   * What is a “free variable”?
     votes: 11, answers: 2
     Read on SO: [45] http://goo.gl/Og5SC

   * Haskell Thread Communication Pattern Scenario
     votes: 10, answers: 1
     Read on SO: [46] http://goo.gl/3Rzq0

   * Defining a function by equations with different number of arguments
     votes: 10, answers: 1
     Read on SO: [47] http://goo.gl/hejqO

   * What functionality do you get for free with Functors or other
type-classes?
     votes: 10, answers: 5
     Read on SO: [48] http://goo.gl/9hSlv

   * Why are types with no data constructors valid?
     votes: 10, answers: 1
     Read on SO: [49] http://goo.gl/Pp6Ze

   * Folding flatMap/bind over a list of functions (a.k.a. Name That
Combinator!)
     votes: 9, answers: 2
     Read on SO: [50] http://goo.gl/bBtBI

Until next time,
   Daniel Santa Cruz

References

   1. http://tech.dropbox.com/?p=129
   2.
http://www.reddit.com/r/haskell/comments/o0j2a/dropbox_tech_blog_using_the_dropbox_api_from/
   3.
http://www.reddit.com/r/haskell/comments/ohjg7/a_new_approach_to_iteratees/
   4.
http://www.reddit.com/r/haskell/comments/ohjg7/a_new_approach_to_iteratees/
   5. https://www.youtube.com/watch?v=jBd9c1gAqWs
   6.
http://www.reddit.com/r/haskell/comments/o0im2/haskell_repa_realtime_ray_tracing_demo/
   7. http://matt.might.net/articles/partial-orders/
   8.
http://www.reddit.com/r/haskell/comments/o6nnp/order_theory_for_computer_scientists/
   9.
https://github.com/leonidas/codeblog/blob/master/2012/2012-01-08-streams-coroutines.md
  10.
http://www.reddit.com/r/haskell/comments/o87z5/generalizing_streams_into_coroutines_with_an/
  11. http://www.well-typed.com/blog/63
  12.
http://www.reddit.com/r/haskell/comments/odv3t/welltyped_are_hiring_haskell_consultant/
  13. http://blog.ezyang.com/2012/01/why-iteratees-are-hard-to-understand/
  14.
http://www.reddit.com/r/haskell/comments/o2p3p/why_iteratees_are_hard_to_understand/
  15.
http://www.reddit.com/r/haskell/comments/o5iov/modern_reallworld_haskell/
  16.
http://www.reddit.com/r/haskell/comments/o5iov/modern_reallworld_haskell/
  17. http://apfelmus.nfshost.com/blog/2012/01/01-frp-api-0-5.html
  18.
http://www.reddit.com/r/haskell/comments/nz0af/frp_reactivebanana_is_getting_dynamic_event/
  19.
http://wewantarock.wordpress.com/2012/01/11/wxhaskell-and-wxwidgets-2-9/
  20.
http://www.reddit.com/r/haskell/comments/oc8qi/wxhaskell_and_wxwidgets_29/
  21. http://www.yesodweb.com/blog/2012/01/blog-example
  22.
http://www.reddit.com/r/haskell/comments/of4g9/updated_yesod_blog_example_i18n_authentication/
  23. http://justhaskell.org/2012/01/02/experiments-in-haskell-packaging/
  24.
http://www.reddit.com/r/haskell/comments/nzv56/experiments_in_haskell_packaging/
  25. http://www.yesodweb.com/blog/2012/01/http-conduit
  26. http://www.reddit.com/r/haskell/comments/o5b4w/httpconduit/
  27. http://personal.cis.strath.ac.uk/~raa/posts/2012-01-06-streams.html
  28.
http://www.reddit.com/r/haskell/comments/o5ioy/reasoning_about_stream_processing_with_effects/
  29.
http://www.reddit.com/r/haskell/comments/oaqsa/simon_marlows_parallel_and_concurrent_programming/
  30.
http://www.reddit.com/r/haskell/comments/oaqsa/simon_marlows_parallel_and_concurrent_programming/
  31. http://wewantarock.wordpress.com/2012/01/12/who-is-my-community/
  32.
http://www.reddit.com/r/haskell/comments/ogtos/who_is_my_community_wxhaskell_maintainers/
  33. http://stackoverflow.com/questions/8736995/fun-with-repeated-fmap
  34.
http://stackoverflow.com/questions/8760956/can-a-compiler-automatically-detect-pure-functions-without-the-type-information
  35. http://stackoverflow.com/questions/8779390/what-does-floated-out-mean
  36.
http://stackoverflow.com/questions/8703319/haskell-projects-to-study-and-learn-from
  37.
http://stackoverflow.com/questions/8777216/how-do-you-identify-monadic-design-patterns
  38.
http://stackoverflow.com/questions/8788542/how-do-i-get-good-small-shrinks-out-of-quickcheck
  39.
http://stackoverflow.com/questions/8762943/which-applicative-functor-is-used-for-passing-shared-parameters
  40. http://stackoverflow.com/questions/8735072/double-map-in-haskell
  41.
http://stackoverflow.com/questions/8739741/higher-ranked-and-impredicative-types
  42. http://stackoverflow.com/questions/8780183/handling-events-in-haskell
  43.
http://stackoverflow.com/questions/8807539/does-the-term-monadic-in-j-have-anything-to-do-with-its-haskell-use
  44.
http://stackoverflow.com/questions/8832624/any-good-articles-on-optimizing-haskell-code
  45. http://stackoverflow.com/questions/8857038/what-is-a-free-variable
  46.
http://stackoverflow.com/questions/8705332/haskell-thread-communication-pattern-scenario
  47.
http://stackoverflow.com/questions/8745597/defining-a-function-by-equations-with-different-number-of-arguments
  48.
http://stackoverflow.com/questions/8785311/what-functionality-do-you-get-for-free-with-functors-or-other-type-classes
  49.
http://stackoverflow.com/questions/8829194/why-are-types-with-no-data-constructors-valid
  50.
http://stackoverflow.com/questions/8716668/folding-flatmap-bind-over-a-list-of-functions-a-k-a-name-that-combinator
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20120118/1830a94d/attachment-0001.htm>