Categorical machine
A categorical machine is any virtual machine that provides some sort of first-class support for compute "categories" from Category Theory. It is named such based on the original concept of a categorical abstract machine or CAM[1] but approaches to category and function management may vary. A categorical machine may automate various correspondences (Curry–Howard correspondence) of the computational trinity to improve developer ergonomics and may leverage hardware convergence technology to achieve this.
The idea of using categories as compute containers is promoted by Functional Programming[2]
See also
References
- ↑ "A History of Caml", inria.fr
- ↑ "Functional Programming and Category Theory [Part 1"], Nikolay Grozev
This article "Categorical machine" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Categorical machine. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
