# blog

• ## Co-(Elgot Algebra)s in the Wild

I've been looking for an example of co-(Elgot algebra)s for quite some time, and I came across a surprisingly nice example while working on my gmpint package.

• ## Why Haskell Is Good

As many of you will know, Haskell is a non-strict language, with non-strictness implemented via the more familiar laziness. Laziness has come to define Haskell, and here I would like give an expansive view of why.

• ## Monads As "Programmable Semicolons"

If you have followed the Haskell community much, you may have heard the phrase "programmable semicolon" in relation to monads. Of course, it is not obvious what is meant by such a thing, so I figured I'd write a short explanation for those already familiar with monads.

• ## Using Haskell on the Frontend

This tutorial will give you an opinionated introduction to using Haskell on the frontend for web. To benefit, you must:

• ## Syntax Checkers in Haskell

I recently wrote tomlcheck, which, as the name implies, is a syntax checker for TOML files. Since I'd read a call-to-arms regarding the lack of concrete success stories in Haskell a few months ago, I figured I'd contribute one of mine.

|