[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