Daniel Santa Cruz | 22 Nov 04:19 2012
Picon

Haskell Weekly News: Issue 251

Welcome to issue 251 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of November 4 to 17, 2012.

Quotes of the Week

   * Ralith: [why some people don't use conduits/pipes] also, I think at
     least some people are waiting for edwardk to write his version.

   * edwardk: f -| g means that f a -> b is isomorphic to a -> g b (for
     arrows in the appropriate categories)

   * edwardk: <at> type (^.) 
     lambdabot: s -> Getting a s t a b -> a
     byorgey: I would not like to be getting a stab, thank you

   * edwardk: I mean we're so oop even our member accessors have
     diagrams explaining their member accessors.

   * shapr: hylo! That's the category theorist greeting.

   * shachaf: type AbstractAlgebra a = Abstract a -> a

   * nicoo: Yet many Writers concern themselves with issues of State,
     imaginary or real

   * rwbarton: when you learn C, watch out for the keyword "return", it
     doesn't do what you'd expect

   * Oleg: We show how to program with the law of excluded middle. We
     specifically avoid call/cc, which is overrated.

Top Reddit Stories

   * Haskell Platform 2012.4.0.0 is out
     Domain: self.haskell, Score: 89, Comments: 21
     On Reddit: [1] http://goo.gl/BPno4
     Original: [2] http://goo.gl/BPno4

   * A Khan Academy style tutorial on generalized algebraic data types
     Domain: apfelmus.nfshost.com, Score: 56, Comments: 7
     On Reddit: [3] http://goo.gl/kXQ0a
     Original: [4] http://goo.gl/NWn3B

   * Cartesian Closed Comic #17: Typing
     Domain: ro-che.info, Score: 53, Comments: 24
     On Reddit: [5] http://goo.gl/6c4Uy
     Original: [6] http://goo.gl/dZeDx

   * Cartesian Closed Comic #18: Equality
     Domain: ro-che.info, Score: 53, Comments: 8
     On Reddit: [7] http://goo.gl/8Qf9d
     Original: [8] http://goo.gl/XCyuB

   * Natural Language Processing for the Working Programmer (in Haskell!)
     Domain: nlpwp.org, Score: 50, Comments: 17
     On Reddit: [9] http://goo.gl/3yLTZ
     Original: [10] http://goo.gl/BleWX

   * Waiting for garbage collection can kill parallelism?
     Domain: ics.p.lodz.pl, Score: 50, Comments: 7
     On Reddit: [11] http://goo.gl/iUPlD
     Original: [12] http://goo.gl/N0kiV

   * foldr is made of monoids
     Domain: byorgey.wordpress.com, Score: 47, Comments: 12
     On Reddit: [13] http://goo.gl/Y0mz5
     Original: [14] http://goo.gl/IxKov

   * Solving Cabal Hell: vetted packages, multiple hackages
     Domain: yesodweb.com, Score: 46, Comments: 67
     On Reddit: [15] http://goo.gl/dkzMz
     Original: [16] http://goo.gl/lDjuj

   * Parallel falling sand game with Repa
     Domain: github.com, Score: 45, Comments: 16
     On Reddit: [17] http://goo.gl/G6MGG
     Original: [18] http://goo.gl/cP1zH

   * Agda, Epigram or Idris. Which one to learn
     Domain: self.haskell, Score: 38, Comments: 61
     On Reddit: [19] http://goo.gl/3PGVo
     Original: [20] http://goo.gl/3PGVo

   * Fun with Fay - A ring oscillator
     Domain: skybluetrades.net, Score: 38, Comments: 6
     On Reddit: [21] http://goo.gl/mGvcZ
     Original: [22] http://goo.gl/bJxCI

   * Introduction to Category Theory 1: Course Overview
     Domain: youtube.com, Score: 37, Comments: 6
     On Reddit: [23] http://goo.gl/fbfYR
     Original: [24] http://goo.gl/Nx5SH

   * HALO: Haskell to Logic through Denotational Semantics [PDF]
     Domain: research.microsoft.com, Score: 35, Comments: 6
     On Reddit: [25] http://goo.gl/V0RWs
     Original: [26] http://goo.gl/oCzUw

   * How to write Python in Haskell: State and Either
     Domain: stackoverflow.com, Score: 34, Comments: 25
     On Reddit: [27] http://goo.gl/Z80yb
     Original: [28] http://goo.gl/W933i

   * What is foldr made of?
     Domain: web.jaguarpaw.co.uk, Score: 30, Comments: 22
     On Reddit: [29] http://goo.gl/LdS9X
     Original: [30] http://goo.gl/I2uzX

   * How to shoot yourself in the foot with Haskell
     Domain: ics.p.lodz.pl, Score: 29, Comments: 34
     On Reddit: [31] http://goo.gl/CcvZB
     Original: [32] http://goo.gl/SJYvd

   * Happstack, Fay, & Acid-State: Shared Datatypes are Awesome
     Domain: happstack.com, Score: 29, Comments: 8
     On Reddit: [33] http://goo.gl/AUtj6
     Original: [34] http://goo.gl/cYQr1

   * ANN: OpenGL packages update
     Domain: haskell.org, Score: 28, Comments: 7
     On Reddit: [35] http://goo.gl/0SN7O
     Original: [36] http://goo.gl/PbtlT

   * How can I cleanly/consistently work with 3 different Exception-raising schemes?
     Domain: self.haskell, Score: 28, Comments: 22
     On Reddit: [37] http://goo.gl/Xf4sq
     Original: [38] http://goo.gl/Xf4sq

Top StackOverflow Questions

   * What are paramorphisms?
     votes: 39, answers: 1
     Read on SO: [39] http://goo.gl/V6rXq

   * In pure functional languages, is there an algorithm to get the inverse function?
     votes: 35, answers: 9
     Read on SO: [40] http://goo.gl/wBtqv

   * What are free monads?
     votes: 26, answers: 5
     Read on SO: [41] http://goo.gl/NAx8n

   * What's the status of current Functional Reactive Programming implementations?
     votes: 23, answers: 3
     Read on SO: [42] http://goo.gl/FmRYF

   * What does the “world” mean in functional programming world?
     votes: 22, answers: 7
     Read on SO: [43] http://goo.gl/dyM8c

   * Type-safe difference lists
     votes: 20, answers: 1
     Read on SO: [44] http://goo.gl/TlvF4

   * Is it possible to annotate a function's special properties (e.g. surjectivity)?
     votes: 12, answers: 3
     Read on SO: [45] http://goo.gl/uzanF

   * Under what circumstances are monadic computations tail-recursive?
     votes: 12, answers: 2
     Read on SO: [46] http://goo.gl/lPJef

   * Should I use new Haskell language extensions in favour of the old ones?
     votes: 12, answers: 2
     Read on SO: [47] http://goo.gl/xkc78

Until next time,
Daniel Santa Cruz

References


_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Gmane