[Haskell-cafe] Haskell Weekly News: Issue 264

Daniel Santa Cruz dstcruz at gmail.com
Thu Apr 4 03:17:56 CEST 2013


Welcome to issue 264 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of March 17 to 30, 2013.

Quotes of the Week

   * ddarius: (f x) is a partial application iff
     f x == (curry (uncurry f) x)

   * flebron: "Hey, I am Haskell; and this is lazy; so here's a
     function; I'll call it, maybe."

   * WinstonChurchill: It is a good thing for an uneducated man to read
     books of quotations.

   * ab9rf: (on duck typing) if you want a
     duck-submarine-employee-tomato, you can do that

   * johnw: Stealing lens from the gods, and then having my liver eaten
     out daily.

   * dibblego: scala puts road blocks in your way proportional to how
     effective you want to be

   * hiptobecubic: I want my programs to either be correct or violently
     explode

   * shachaf: edwardk will try to get you addicted to monoids. The first
     one is always free.

   * merijn: So apparently there's a footballer named lens, who played
     some important part in the match against the Netherlands... Which
     would explain the fact that twitter is telling me "lens" is
     trending, I was starting to think haskell had won the PL revolution
     with edwardk as our glorious leader ;)

   * elliott: all I want for christmas is a boring lambdabot.

Top Reddit Stories

   * What’s good for C++ is good for … Haskell!?
     Domain: serpentine.com, Score: 101, Comments: 20
     On Reddit: [1] http://goo.gl/B8Km5
     Original: [2] http://goo.gl/tCB0a

   * Anatomy of Programming Languages (in Haskell)
     Domain: self.haskell, Score: 72, Comments: 29
     On Reddit: [3] http://goo.gl/YmO5M
     Original: [4] http://goo.gl/YmO5M

   * Programming and Reasoning with Algebraic Effects and Dependent Types
     Domain: edwinb.wordpress.com, Score: 58, Comments: 28
     On Reddit: [5] http://goo.gl/xfH0Z
     Original: [6] http://goo.gl/AdGEJ

   * School of Haskell—Basic Lensing
     Domain: fpcomplete.com, Score: 57, Comments: 39
     On Reddit: [7] http://goo.gl/JIowk
     Original: [8] http://goo.gl/NX1ak

   * Haskell for all: mmorph-1.0.0: Monad morphisms
     Domain: haskellforall.com, Score: 56, Comments: 18
     On Reddit: [9] http://goo.gl/nlHfN
     Original: [10] http://goo.gl/6aHZt

   * Haskell News
     Domain: haskellnews.org, Score: 43, Comments: 12
     On Reddit: [11] http://goo.gl/fNzzI
     Original: [12] http://goo.gl/4K1tD

   * pipes-3.2: ListT, Codensity, ArrowChoice, and performance
     Domain: haskellforall.com, Score: 43, Comments: 19
     On Reddit: [13] http://goo.gl/a0xm8
     Original: [14] http://goo.gl/RFLdw

   * Introducing diagrams-haddock
     Domain: byorgey.wordpress.com, Score: 41, Comments: 13
     On Reddit: [15] http://goo.gl/d5Vl5
     Original: [16] http://goo.gl/PmUFs

   * Optimising Purely Functional GPU Programs
     Domain: justtesting.org, Score: 41, Comments: 2
     On Reddit: [17] http://goo.gl/ZgiXt
     Original: [18] http://goo.gl/M5fop

   * Creating board games in Haskell in 100 lines of code
     Domain: keera.co.uk, Score: 38, Comments: 30
     On Reddit: [19] http://goo.gl/lbZke
     Original: [20] http://goo.gl/epwqQ

   * What is the logarithm or root operation in type-space? (x-post from
r/compsci)
     Domain: cstheory.stackexchange.com, Score: 38, Comments: 17
     On Reddit: [21] http://goo.gl/1z3a9
     Original: [22] http://goo.gl/JXAlC

   * New GHC Extension - Nullary Type Classes (apparently not an April
Fool's joke)
     Domain: hackage.haskell.org, Score: 37, Comments: 24
     On Reddit: [23] http://goo.gl/rD5KC
     Original: [24] http://goo.gl/drfb7

   * The Monad.Reader issue 21
     Domain: themonadreader.files.wordpress.com, Score: 30, Comments: 2
     On Reddit: [25] http://goo.gl/R1dke
     Original: [26] http://goo.gl/nGHjP

   * Dependently Typed Functional Programming with Idris 4 (last lecture)
     Domain: vimeo.com, Score: 28, Comments: 4
     On Reddit: [27] http://goo.gl/ozbtK
     Original: [28] http://goo.gl/2xsaB

   * Conal Elliot: Folds and Unfolds
     Domain: conal.net, Score: 28, Comments: 5
     On Reddit: [29] http://goo.gl/ZzFZ1
     Original: [30] http://goo.gl/JVQK4

   * Mihai-Radu Popescu's book in progress: "Speeding Through Haskell"
     Domain: sthaskell.com, Score: 26, Comments: 15
     On Reddit: [31] http://goo.gl/d1wZF
     Original: [32] http://goo.gl/oB0e8

   * hchip - a Haskell emulator for Chip16
     Domain: self.haskell, Score: 25, Comments: 1
     On Reddit: [33] http://goo.gl/mtHhg
     Original: [34] http://goo.gl/mtHhg

   * Introduction to Haskell, Lecture 8 is Live (Monads)
     Domain: shuklan.com, Score: 25, Comments: 22
     On Reddit: [35] http://goo.gl/nCV1q
     Original: [36] http://goo.gl/D4VGn

   * School of Haskell: Learning Haskell Through Koans
     Domain: fpcomplete.com, Score: 22, Comments: 2
     On Reddit: [37] http://goo.gl/sKxmz
     Original: [38] http://goo.gl/2n9aF

   * Arrow Notation in Functional Reactive Programming demonstrated with a
simple OpenGL demo (Yampa)
     Domain: youtube.com, Score: 22, Comments: 9
     On Reddit: [39] http://goo.gl/NN8nr
     Original: [40] http://goo.gl/m5XEb

Top StackOverflow Questions


   * Maintaining complex state in Haskell
     votes: 23, answers: 1
     Read on SO: [41] http://goo.gl/XbFtx

   * Is using mapM/sequence considered good practice?
     votes: 14, answers: 3
     Read on SO: [42] http://goo.gl/juA3q

   * Can I model a list of successes with short circuiting failure via the
composition of applicative functors?
     votes: 12, answers: 2
     Read on SO: [43] http://goo.gl/biKxw

   * Understanding Polytypes in Hindley-Milner Type Inference
     votes: 12, answers: 2
     Read on SO: [44] http://goo.gl/sjzJJ

   * Why add “Eq” type constraint without using “==”?
     votes: 11, answers: 1
     Read on SO: [45] http://goo.gl/hljhA

   * :: a -> (a -> b) -> b operator (Haskell)
     votes: 11, answers: 3
     Read on SO: [46] http://goo.gl/O643o

   * What's the most efficient way to represent finite (non-recursive)
algebraic type values?
     votes: 10, answers: 2
     Read on SO: [47] http://goo.gl/ikN78

   * What's the “easier way” that deprecates the need for
Data.Conduit.Util's zip?
     votes: 10, answers: 1
     Read on SO: [48] http://goo.gl/kk6jq

   * Haskell equivalent of scala collect
     votes: 10, answers: 1
     Read on SO: [49] http://goo.gl/wjKTR

   * Scheduling a Timeout in Haskell
     votes: 10, answers: 1
     Read on SO: [50] http://goo.gl/Pya8z

Until next time,
+Daniel Santa Cruz

References

   1.
http://www.serpentine.com/blog/2013/03/20/whats-good-for-c-is-good-for-haskell/
   2.
http://www.reddit.com/r/haskell/comments/1aok5k/whats_good_for_c_is_good_for_haskell/
   3.
http://www.reddit.com/r/haskell/comments/1b4m75/anatomy_of_programming_languages_in_haskell/
   4.
http://www.reddit.com/r/haskell/comments/1b4m75/anatomy_of_programming_languages_in_haskell/
   5.
https://edwinb.wordpress.com/2013/03/28/programming-and-reasoning-with-algebraic-effects-and-dependent-types/
   6.
http://www.reddit.com/r/haskell/comments/1b64xh/programming_and_reasoning_with_algebraic_effects/
   7. https://www.fpcomplete.com/user/tel/basic-lensing
   8.
http://www.reddit.com/r/haskell/comments/1anf0n/school_of_haskellbasic_lensing/
   9. http://www.haskellforall.com/2013/03/mmorph-100-monad-morphisms.html
  10.
http://www.reddit.com/r/haskell/comments/1ahyzu/haskell_for_all_mmorph100_monad_morphisms/
  11. http://haskellnews.org/
  12. http://www.reddit.com/r/haskell/comments/1ahgrn/haskell_news/
  13.
http://www.haskellforall.com/2013/03/pipes-32-listt-codensity-arrowchoice.html
  14.
http://www.reddit.com/r/haskell/comments/1av2gi/pipes32_listt_codensity_arrowchoice_and/
  15. http://byorgey.wordpress.com/2013/03/23/introducing-diagrams-haddock/
  16.
http://www.reddit.com/r/haskell/comments/1aw33e/introducing_diagramshaddock/
  17. http://justtesting.org/optimising-purely-functional-gpu-programs
  18.
http://www.reddit.com/r/haskell/comments/1bapa5/optimising_purely_functional_gpu_programs/
  19. http://keera.co.uk/blog/2013/03/19/creating-board-games-in-haskell/
  20.
http://www.reddit.com/r/haskell/comments/1ani3n/creating_board_games_in_haskell_in_100_lines_of/
  21.
http://cstheory.stackexchange.com/questions/17006/what-is-the-logarithm-or-root-operation-in-type-space
  22.
http://www.reddit.com/r/haskell/comments/1aynxj/what_is_the_logarithm_or_root_operation_in/
  23. http://hackage.haskell.org/trac/ghc/ticket/7642
  24.
http://www.reddit.com/r/haskell/comments/1atlvu/new_ghc_extension_nullary_type_classes_apparently/
  25. http://themonadreader.files.wordpress.com/2013/03/issue21.pdf
  26.
http://www.reddit.com/r/haskell/comments/1ahrii/the_monadreader_issue_21/
  27. http://vimeo.com/62059837
  28.
http://www.reddit.com/r/haskell/comments/1aisv0/dependently_typed_functional_programming_with/
  29. http://conal.net/talks/folds-and-unfolds.pdf
  30.
http://www.reddit.com/r/haskell/comments/1asxuf/conal_elliot_folds_and_unfolds/
  31. http://www.sthaskell.com/
  32.
http://www.reddit.com/r/haskell/comments/1azvcy/mihairadu_popescus_book_in_progress_speeding/
  33.
http://www.reddit.com/r/haskell/comments/1akhgi/hchip_a_haskell_emulator_for_chip16/
  34.
http://www.reddit.com/r/haskell/comments/1akhgi/hchip_a_haskell_emulator_for_chip16/
  35. http://shuklan.com/haskell/lec09.html
  36.
http://www.reddit.com/r/haskell/comments/1alqjq/introduction_to_haskell_lecture_8_is_live_monads/
  37. https://www.fpcomplete.com/blog/2013/03/learning-through-koans
  38.
http://www.reddit.com/r/haskell/comments/1amuuz/school_of_haskell_learning_haskell_through_koans/
  39. http://www.youtube.com/watch?v=T3xXebIr8AM#t=17m58s
  40.
http://www.reddit.com/r/haskell/comments/1ao4nx/arrow_notation_in_functional_reactive_programming/
  41.
http://stackoverflow.com/questions/15467925/maintaining-complex-state-in-haskell
  42.
http://stackoverflow.com/questions/15546216/is-using-mapm-sequence-considered-good-practice
  43.
http://stackoverflow.com/questions/15460794/can-i-model-a-list-of-successes-with-short-circuiting-failure-via-the-compositio
  44.
http://stackoverflow.com/questions/15497315/understanding-polytypes-in-hindley-milner-type-inference
  45.
http://stackoverflow.com/questions/15512541/why-add-eq-type-constraint-without-using
  46. http://stackoverflow.com/questions/15604290/a-a-b-b-operator-haskell
  47.
http://stackoverflow.com/questions/15572996/whats-the-most-efficient-way-to-represent-finite-non-recursive-algebraic-type
  48.
http://stackoverflow.com/questions/15627359/whats-the-easier-way-that-deprecates-the-need-for-data-conduit-utils-zip
  49.
http://stackoverflow.com/questions/15634549/haskell-equivalent-of-scala-collect
  50.
http://stackoverflow.com/questions/15671328/scheduling-a-timeout-in-haskell
  51. https://plus.google.com/105107667630152149014/about
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130403/600cc6f9/attachment-0001.htm>


More information about the Haskell-Cafe mailing list