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.
Top comments (0)