Computational Category Theory. Welcome to the Computational Category Theory Project Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML.
The original ideas are due to R.M. Burstall, and it was developed by D. Haskell’s Niche: Hard Problems « Sententia cdsmithus. (This post isn’t really intended for experienced Haskell programmers.
It has no source code, and is a tad philosophical in tone. You have been warned!) User:Michiexile/MATH198 - Category Theory and Functional Programming. Type Theory and Functional Programming.