Difference between revisions of "Compiling to categories (Conal Elliott)"
From apm
(→Related: added * Data decompression chain) |
(→Related: added * Control hierarchy) |
||
| Line 16: | Line 16: | ||
* [[Lambda calculus]] | * [[Lambda calculus]] | ||
* [[Data decompression chain]] | * [[Data decompression chain]] | ||
| + | * [[Control hierarchy]] | ||
== External links == | == External links == | ||
Revision as of 23:50, 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]
