Difference between revisions of "Compiling to categories (Conal Elliott)"
From apm
(basic page) |
(→Related: added * Lambda calculus) |
||
| Line 14: | Line 14: | ||
* [[Constructive solid geometry]] | * [[Constructive solid geometry]] | ||
| + | * [[Lambda calculus]] | ||
== External links == | == External links == | ||
Revision as of 22:44, 22 July 2021
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
External links
Central page linking to all relevant material:
- Direct link to presentation video (2018-01-16) [1]
