#+SERIES: index.html
#+SERIES_PREV: coq.html
#+SERIES_NEXT: miscellaneous.html

#+TITLE: About Haskell

Haskell is a pure, lazy, functional programming language with a very
expressive type system.

- [[./posts/ExtensibleTypeSafeErrorHandling.html][Extensible, Type-Safe Error Handling In Haskell]] ::
  Ever heard of “extensible effects?” By applying the same principle, but for
  error handling, the result is nice, type-safe API for Haskell, with a lot of
  GHC magic under the hood.