I've been skeptical about the utility of category theory in software development, but this is pretty interesting stuff. The source code for the programs he's t

I've been skeptical about the utility of category theory in software development, but this is pretty interesting stuff. The source code for the programs he's talking about: https://github.com/conal/concat https://github.com/conal/concat