I'm wasting a bit of time working on multi-core CPUs, parallel
execution, and distributed workloads.
Spreadsheet execution order is determined by data dependency.
If cell A depends on cell B then cell B must compute first.
The first optimization would be partial cell computation until the
dependent data is available.
Which thought leads me to linear types and distributed workloads.
One could block a computation waiting for a result. Linear types
seem like an excellent model for such communication. It is
especially interesting if the communicated values are not just a
simple cell value but more complex types.
Further down the rabbit hole is implementing the spreadsheet in lisp.
Each cell has its associated lisp function. The interesting aspect here
is that you transform a "time-based" model of computation to a
"dependency-based" model. Such a model is easily distributed.
One could write a "spreadsheet macro" in lisp with a list of functions
to embed in particular cells.
For a recent discussion see:
Homoiconic spreadsheets/ What, How & Why (by Eli Parra)
https://www.youtube.com/watch?v=U9uZlEqUQw0&ab_channel=LondonClojurians
