#categoricalabstractmachine — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #categoricalabstractmachine, aggregated by home.social.
-
#Haskell #CategoryTheory#Lawvere — A categorical #ProgrammingLanguage with effects
https://github.com/jameshaydon/lawvere
Very work-in-progress
- Compile to any category that has structures corresponding to the programming features you use (cartesian closed, distributive, etc.).
- Comes with is an evaluator in #Haskell, a compiler to #JavaScript, and a "bytecode" compiler to a #CategoricalAbstractMachine.
- Effect system based on free effect categories.
- Point-free #FunctionalProgramming (no lambdas); a categorical take on #ConcatenativeProgramming.
The #Lawvere language (and the executable bill) is named after #WilliamLawvere.