Categorical Programming Language Tutorial
SMRTR summary
CPL (Categorical Programming Language) is a functional language where data types and functions are defined using category theory concepts like objects, morphisms, products, and exponential objects. This tutorial walks through CPL's REPL, defining fundamental structures like natural numbers, lists, and coproducts, while simultaneously teaching category theory. Even infinite lists and duality between left/right objects are covered with working code examples.
SMRTR provides this summary for quick context. The original article belongs to lobste.rs.
Read the original article