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 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