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: @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. From (self.haskell), scored 89 with 21 comments.
- A Khan Academy style tutorial on generalized algebraic data types. From (apfelmus.nfshost.com), scored 56 with 7 comments.
- Cartesian Closed Comic #17: Typing. From (ro-che.info), scored 53 with 24 comments.
- Cartesian Closed Comic #18: Equality. From (ro-che.info), scored 53 with 8 comments.
- Natural Language Processing for the Working Programmer (in Haskell!). From (nlpwp.org), scored 50 with 17 comments.
- Waiting for garbage collection can kill parallelism?. From (ics.p.lodz.pl), scored 50 with 7 comments.
- foldr is made of monoids. From (byorgey.wordpress.com), scored 47 with 12 comments.
- Solving Cabal Hell: vetted packages, multiple hackages. From (yesodweb.com), scored 46 with 67 comments.
- Parallel falling sand game with Repa. From (github.com), scored 45 with 16 comments.
- Agda, Epigram or Idris. Which one to learn. From (self.haskell), scored 38 with 61 comments.
- Fun with Fay - A ring oscillator. From (skybluetrades.net), scored 38 with 6 comments.
- Introduction to Category Theory 1: Course Overview. From (youtube.com), scored 37 with 6 comments.
- HALO: Haskell to Logic through Denotational Semantics [PDF]. From (research.microsoft.com), scored 35 with 6 comments.
- How to write Python in Haskell: State and Either. From (stackoverflow.com), scored 34 with 25 comments.
- What is foldr made of?. From (web.jaguarpaw.co.uk), scored 30 with 22 comments.
- How to shoot yourself in the foot with Haskell. From (ics.p.lodz.pl), scored 29 with 34 comments.
- Happstack, Fay, & Acid-State: Shared Datatypes are Awesome. From (happstack.com), scored 29 with 8 comments.
- ANN: OpenGL packages update. From (haskell.org), scored 28 with 7 comments.
- How can I cleanly/consistently work with 3 different Exception-raising schemes?. From (self.haskell), scored 28 with 22 comments.
Top StackOverflow Questions
- What are paramorphisms? votes: 39, answers: 1
- In pure functional languages, is there an algorithm to get the inverse function? votes: 35, answers: 9
- What are free monads? votes: 26, answers: 5
- What's the status of current Functional Reactive Programming implementations? votes: 23, answers: 3
- What does the “world” mean in functional programming world? votes: 22, answers: 7
- Type-safe difference lists votes: 20, answers: 1
- Is it possible to annotate a function's special properties (e.g. surjectivity)? votes: 12, answers: 3
- Under what circumstances are monadic computations tail-recursive? votes: 12, answers: 2
- Should I use new Haskell language extensions in favour of the old ones? votes: 12, answers: 2
Until next time,
Daniel Santa Cruz