Issue 13 2016-07-28

• Dependent types in Haskell: Progress Report

  When can we expect dependent types in GHC? The short answer: GHC 8.4 (2018) at the very earliest.

• Haskell documentation on Stack Overflow

  Together, we can do for Documentation what we did for Q&A.

• Tracking security holes and major bugs with Stackage

  Allow a systematic way for community members to report security holes and major bugs in a specific version of a package.

• Algebraic patterns: Monoid

  The monoid pattern models the many structures that are semigroups and also have identity elements.

• Resilient Haskell Software (2008)

  Cabal would discourage duplication and encourage splitting out libraries. An application like the Gitit wiki, with its >40 dependencies, would simply be unthinkable.

• HGE2D

  A 2D game engine written in and for Haskell.

• How is Data.Void.absurd different from undefined?

  Thankfully, it doesn’t actually matter in the end, because the whole old definition is a bit of a silly exercise.