Welcome to issue 268 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 12 to 25, 2013.
Quotes of the Week
- tikhonjelvis: the lesson is that the fix function exists to "fix" any type problems you may encounter
- shachaf: The trouble with peano arithmetic is that it stops at 88.
- Peaker: Python's dynamic nature adds slowness and unsafety, but doesn't actually make things more expressive
- sj4nz: Programming in weakly-typed languages forever after will feel like working with punch cards. Send in your program to the nodejs interpreter and hope for a result to come back.
- xplat: if you want to carry your machete all the time and not make people nervous, you need to constantly blaze trails
- otters: heh, F# is just the unboxed version of F
- quchen: This was the first time in months that I thought imperatively. Conclusion: 1. it complicated things, 2. it was refreshing
- cmccann: I still kind of expect that the next standard will be haskell2017 or something, and all it will do is a minor change to lexical syntax of comments that fixes nothing but nevertheless breaks 20% of hackage.
- cmccann: [on reimplementing cryptography in pure Haskell] writing in Haskell lets you use type safety to ensure that all the security holes you create are subtle instead of obvious.
Top Reddit Stories
- Haskell in Production [slides]. From (mth.io), scored 60 with 114 comments.
- B-trees with GADTs. From (matthew.brecknell.net), scored 56 with 6 comments.
- Yearly revisions to the Haskell language: who killed Haskell Prime?. From (self.haskell), scored 54 with 19 comments.
- Elm paper accepted at PLDI: Asynchronous FRP for GUIs!. From (people.seas.harvard.edu), scored 51 with 4 comments.
- The complete correctness of sorting [Agda]. From (twanvl.nl), scored 49 with 5 comments.
- Anatomy of an MVar operation. From (blog.ezyang.com), scored 47 with 7 comments.
- Typing Haskell in Haskell. From (web.cecs.pdx.edu), scored 44 with 34 comments.
- STM in Haskell is better because of types. From (joeyh.name), scored 44 with 8 comments.
- Typed Template Haskell ready for testing in GHC. From (haskell.org), scored 44 with 13 comments.
- A detailed look at GHC's STM implementation from a non-GHC hacker. From (fryguybob.github.io), scored 38 with 11 comments.
- New Haskell Communities and Activity Report (May 2013) is out. From (haskell.org), scored 37 with 2 comments.
- Three examples of problems with Lazy I/O. From (newartisans.com), scored 36 with 31 comments.
- Understanding the Yoneda Lemma. From (fpcomplete.com), scored 35 with 48 comments.
- Simon Peyton Jones to keynote Haskell eXchange 2013!. From (skillsmatter.com), scored 35 with 2 comments.
- Greg Hale's "Functional programming elevator pitch". From (fpcomplete.com), scored 34 with 8 comments.
- FP Complete is looking for a Technical Sales Engineer and Support Specialist. From (fpcomplete.com), scored 32 with 1 comments.
- A Typed Markup Language Based On Haskell. From (blog.functorial.com), scored 31 with 9 comments.
- Announcing: Snap Framework v0.12. From (snapframework.com), scored 28 with 2 comments.
- John Wiegley's "Understanding Continuations", on School of Haskell. From (fpcomplete.com), scored 27 with 17 comments.
Top StackOverflow Questions
- Why are if expressions frowned upon in Haskell? votes: 20, answers: 6
- Haskell: `Map (a,b) c` versus `Map a (Map b c)`? votes: 19, answers: 3
- Why recursive `let` make space effcient? votes: 18, answers: 3
- Should do-notation be avoided in Haskell? [duplicate] votes: 16, answers: 7
- Correspondence between type classes and grammar levels in the Chomsky hierarchy votes: 15, answers: 1
- Calling Haskell from C# votes: 14, answers: 2
- How do exceptions work in Haskell (part two)? votes: 13, answers: 1
- Can a monad be a comonad? votes: 11, answers: 5
- Dynamic Programming Memoization in Haskell votes: 11, answers: 1
- Employing arrows to fold a list of tuples votes: 11, answers: 1
Until next time,
+Daniel Santa Cruz