DEV Community

Cover image for The Categorical Machine and Interactive Programming
The Catbox
The Catbox

Posted on

The Categorical Machine and Interactive Programming

Why bother with Category Theory or Categorical Machines?

We believe that Categorical Machines go beyond Functional Programming by treating code more like a database. This allows developers to leverage well-known Curry Howard (e.g. "Computational Trinity") correspondences to perform ad-hoc operations on the codebase, much like how ad-hoc queries in a database work. This sort of intuitive interactivity feels more natural and allows developers to reason about code without having to resort to advanced mathematical logic. Additionally, Categorical Machines are a convergent technology that can exploit next generation memory hardware. But we might be biased.

https://vimeo.com/487817268

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

👋 Kindness is contagious

Please leave a ❤️ or a friendly comment on this post if you found it helpful!

Okay