4 ms·
There are something very interesting about structures and costs here. Perhaps two types of costs, cost-to-execute and (meta-)cost-to-transform. In general one c
by archibaldJ 5y ago
There are something very interesting about structures and costs here. Perhaps two types of costs, cost-to-execute and (meta-)cost-to-transform. In general one can argue that hierarchy optimises for cost-to-execute while composition optimises for cost-to-transform.
Maybe in some way most things can be viewed from the lense of a compiler/interpreter. "Structures" are really just existing meta-cache for how to efficiently traverse the language to enforce semantics that result in computations.
e.g. tail call optimizations are basically structures in the compilers that help to traverse a subset of the language (i.e. tail recursion) more efficiently time-and-space-wise
- thelastinuit 5y agoI’m tripping and metatripping on this... do you have literature among those lines? Love to read about it more.
- archibaldJ 5y agoA few that came to mind - The Tao of programming by Geoffrey James: https://www.mit.edu/~xela/tao.html https://www.mit.edu/~xela/tao.html - An Analytical Approach to Programs as Data Objects by Olivier Danvy https://cs.au.dk/~danvy/DSc/00_dissertation-for-printing.pdf https://cs.au.dk/~danvy/DSc/00_dissertation-for-printing.pdf - Maps of Meaning: Gautama Buddha, Adam and Eve by Jordan B Peterson - https://www.youtube.com/watch?v=F7T5cg1a77A https://www.youtube.com/watch?v=F7T5cg1a77A - Theories of Programming Languages by John C. Reynolds https://www.amazon.com/Theories-Programming-Languages-John-Reynolds/dp/0521106974 https://www.amazon.com/Theories-Programming-Languages-John-R...
- agumonkey 5y agoReynolds and Danvy, top choice Have you ever been into chemistry-oriented programming models ?
- archibaldJ 5y agoooh haven't touched on that; any pointers would you recommend? I think the next start-up I work on would be a biochemical-driven one)
- agumonkey 5y agoI think jocaml had chemical reaction inspired programming model. Throw a large bunch of functions / object in a swarm to compute large scale / low coupling.