blob: c18fbb7b613802b21f13b7254bb29c59f2d18336 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#+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.
|