Compiling to categories (Conal Elliott)

Generalizing over lambda calculus

• allowing for various different interpretations of the exact same code
• allowing to compile the exact same code to various very different compilation targets.

One concrete example especially relevant for the main topic
of this wikis (atomically precise manufacturing) is: Compilation of the same 3D models to a representation that is suitable for:

• (1) visualization interfaces
• (2) production devices

Related

• Constructive solid geometry
• Lambda calculus
• Data decompression chain
• Control hierarchy

External links

Central page linking to all relevant material:

• http://conal.net/papers/compiling-to-categories/

• Direct link to presentation video (2018-01-16) [1]

---

• Cartesian closed category
• Category theory