#+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.