[Haskell-cafe] Haskell Weekly News: Issue 212

Daniel Santa Cruz dstcruz at gmail.com
Fri Jan 27 04:52:12 CET 2012


Welcome to issue 212 of the HWN, a newsletter covering developments in
the Haskell community. This issue covers top Haskell stories from
around the web found between January 11 to 21, 2012.

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

Quotes of the Week

   * shachaf: Haskell's type system is the perfect mix of useless and
     stupid.

   * roconnor: gez, you write one paper explaining how a lens is really
     a higher order monoidal natural transformation, and suddenly
     everyone thinks you are an expert on lenses.

   * roconnor: a lens is a monoidal natural transformation between
     higher-order coalgebra functors, what's the problem?

   * Enigmagic: we use the 'rsync' deploy model

   * cmccann: someone should implement a dependently-typed unsafeCoerce
     in Agda, you'd have to provide a proof that the coercion is invalid

   * ghc: Couldn't match type `No' with `Yes'

Top Reddit Stories

   * Idris - A language with dependent types
     Domain: idris-lang.org, Score: 43, Comments: 30
     On Reddit: [1] http://goo.gl/pZdKX
     Original: [2] http://goo.gl/MxXKx

   * Purely Functional, Declarative Game Logic Using Reactive Programming
     Domain: github.com, Score: 38, Comments: 17
     On Reddit: [3] http://goo.gl/ByPJj
     Original: [4] http://goo.gl/1PYa4

   * A guided tour through the bytestring library
     Domain: meiersi.github.com, Score: 32, Comments: 10
     On Reddit: [5] http://goo.gl/0YUQ2
     Original: [6] http://goo.gl/A2u2S

   * Comprehensions
     Domain: patternsinfp.wordpress.com, Score: 26, Comments: 7
     On Reddit: [7] http://goo.gl/9Zv3F
     Original: [8] http://goo.gl/SNA14

   * Thinking of writing a tutorial series on FP and Haskell. Here's a demo.
     Domain: codingtales.com, Score: 24, Comments: 9
     On Reddit: [9] http://goo.gl/eU99Y
     Original: [10] http://goo.gl/1efUI

   * UHC compiles Haskell to JavaScript. Web game using Haskell for Ludum
Dare?
     Domain: chrisdone.com, Score: 23, Comments: 4
     On Reddit: [11] http://goo.gl/og088
     Original: [12] http://goo.gl/8Op3M

   * Warp Conduits Released!
     Domain: yesodweb.com, Score: 22, Comments: 3
     On Reddit: [13] http://goo.gl/zpHnZ
     Original: [14] http://goo.gl/5Vl3w

   * Why are guards in the list comprehension faster than in the
do-notation?
     Domain: self.haskell, Score: 19, Comments: 22
     On Reddit: [15] http://goo.gl/1T8Kk
     Original: [16] http://goo.gl/1T8Kk

   * Hac Boston
     Domain: self.haskell, Score: 19, Comments: 7
     On Reddit: [17] http://goo.gl/xWWZF
     Original: [18] http://goo.gl/xWWZF

   * Easy steps to install gtk and use all its features on OS X lion
     Domain: gist.github.com, Score: 16, Comments: 10
     On Reddit: [19] http://goo.gl/Teh6P
     Original: [20] http://goo.gl/Su6Y1

Top StackOverflow Questions

   * What is this haskell syntax?
     votes: 19, answers: 1
     Read on SO: [21] http://goo.gl/JCYg0

   * Why is the type of this function (a -> a) -> a?
     votes: 18, answers: 4
     Read on SO: [22] http://goo.gl/BTr8e

   * `Integer` vs `Int64` vs `Word64`
     votes: 13, answers: 1
     Read on SO: [23] http://goo.gl/Pc2CX

   * Did I just write a continuation?
     votes: 12, answers: 1
     Read on SO: [24] http://goo.gl/aXnTw

   * How lazy is Haskell's `++`?
     votes: 12, answers: 3
     Read on SO: [25] http://goo.gl/GxPxC

   * Can Haskell be used to write shell scripts?
     votes: 12, answers: 4
     Read on SO: [26] http://goo.gl/u3Qke

   * Why does this Haskell code compile?
     votes: 12, answers: 2
     Read on SO: [27] http://goo.gl/yz6VB

   * Any nice tools for untying knots in Haskell?
     votes: 11, answers: 4
     Read on SO: [28] http://goo.gl/YGNeq

   * Two-dimensional zipper
     votes: 10, answers: 2
     Read on SO: [29] http://goo.gl/37E9J

   * the way merge-sort faster than insertion-sort puzzles me
     votes: 10, answers: 2
     Read on SO: [30] http://goo.gl/mkmdc

   * Haskell function that takes a type and a value and checks if value has
that type
     votes: 10, answers: 1
     Read on SO: [31] http://goo.gl/tJO81

Until next time,
Daniel Santa Cruz

References

   1. http://idris-lang.org/
   2.
http://www.reddit.com/r/haskell/comments/ol90m/idris_a_language_with_dependent_types/
   3.
https://github.com/leonidas/codeblog/blob/master/2012/2012-01-17-declarative-game-logic-afrp.md
   4.
http://www.reddit.com/r/haskell/comments/ol7vm/purely_functional_declarative_game_logic_using/
   5.
http://meiersi.github.com/HaskellerZ/meetups/2012%2001%2019%20-%20The%20bytestring%20library/slides.html
   6.
http://www.reddit.com/r/haskell/comments/oqjhy/a_guided_tour_through_the_bytestring_library/
   7. http://patternsinfp.wordpress.com/2012/01/19/comprehensions/
   8. http://www.reddit.com/r/haskell/comments/on8a6/comprehensions/
   9.
http://codingtales.com/2012/01/16/understanding-foldl-using-foldr-from-real-world-haskell/
  10.
http://www.reddit.com/r/haskell/comments/oi4l2/thinking_of_writing_a_tutorial_series_on_fp_and/
  11. http://chrisdone.com/posts/2012-01-06-uhc-javascript.html
  12.
http://www.reddit.com/r/haskell/comments/olthb/uhc_compiles_haskell_to_javascript_web_game_using/
  13. http://www.yesodweb.com/blog/2012/01/warp-conduits
  14. http://www.reddit.com/r/haskell/comments/on285/warp_conduits_released/
  15.
http://www.reddit.com/r/haskell/comments/oolyt/why_are_guards_in_the_list_comprehension_faster/
  16.
http://www.reddit.com/r/haskell/comments/oolyt/why_are_guards_in_the_list_comprehension_faster/
  17. http://www.reddit.com/r/haskell/comments/opgi1/hac_boston/
  18. http://www.reddit.com/r/haskell/comments/opgi1/hac_boston/
  19. https://gist.github.com/1655271
  20.
http://www.reddit.com/r/haskell/comments/or0ro/easy_steps_to_install_gtk_and_use_all_its/
  21. http://stackoverflow.com/questions/8905178/what-is-this-haskell-syntax
  22.
http://stackoverflow.com/questions/8918990/why-is-the-type-of-this-function-a-a-a
  23. http://stackoverflow.com/questions/8873000/integer-vs-int64-vs-word64
  24.
http://stackoverflow.com/questions/8867837/did-i-just-write-a-continuation
  25. http://stackoverflow.com/questions/8872714/how-lazy-is-haskells
  26.
http://stackoverflow.com/questions/8925780/can-haskell-be-used-to-write-shell-scripts
  27.
http://stackoverflow.com/questions/8935568/why-does-this-haskell-code-compile
  28.
http://stackoverflow.com/questions/8945096/any-nice-tools-for-untying-knots-in-haskell
  29. http://stackoverflow.com/questions/8905030/two-dimensional-zipper
  30.
http://stackoverflow.com/questions/8919785/the-way-merge-sort-faster-than-insertion-sort-puzzles-me
  31.
http://stackoverflow.com/questions/8957601/haskell-function-that-takes-a-type-and-a-value-and-checks-if-value-has-that-type
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120126/85708a28/attachment.htm>


More information about the Haskell-Cafe mailing list