Solomon's Blog

I wanted a nice way to create a roles system on top of servant-auth.

It has been a long while since my last post on chat bots; quite a bit longer then I intended to be honest.

How far can we get leveraging the lens library in Haskell to model Moore Machines and Wiring Diagrams?

Last updated 2024-03-03

I'm working on a library for designing highly composable protocol agnostic chat bots.

In my last post I gave a brief introduction to Happy and parser generators.

When I was first learning Haskell it was emphasized to me via blog posts, books, and conversations how wonderful Haskell is for language design.

The Free monad gives you a Monad for any Functor.

If you are writing an interpreter, odds are you will want to bind variables.

A few friends have recently asked about literature introducing Monad Transformers.

Fin _ is one of those data types that makes you take a step back and question how much you really understand typed functional programming.

After reading Chris Penner's blog post on Conway's Game Of Life Using Representable and Comonads, I decided to implement a similar solution for the 1 dimensional automata Rule 110.

Its October 2020, COVID-19 has wreaked havoc across the globe, the US is deeply divided along partisan lines, the environment is in collapse, the government is in a seemingly endless consitutional crisis, and I've decided to start blogging!