January 26, 2012

Haskell Weekly News: Issue 212

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.

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

Top StackOverflow Questions

Until next time,
Daniel Santa Cruz

No comments: