DEV Community

Cover image for Interactive Programming with Categorical Machines Part 2
The Catbox
The Catbox

Posted on

Interactive Programming with Categorical Machines Part 2

Some of our ideas for interactive computing based on functional programming and applied category theory by exploiting the Curry Howard computational "trinity"

https://vimeo.com/492970106

Top comments (0)

Billboard image

The Next Generation Developer Platform

Coherence is the first Platform-as-a-Service you can control. Unlike "black-box" platforms that are opinionated about the infra you can deploy, Coherence is powered by CNC, the open-source IaC framework, which offers limitless customization.

Learn more