Probably we need to create a great DAG engine and put the spreadsheet over it.
Why a DAG? You might want recursion. We have pretty great computational models already, I think that what you're talking about is an interface into such a model (a statically typed language) through a spreadsheet like interface, which isn't totally revolutionary.
The problem is making something that can unseat a behemoth like Excel. The only things that seem to have made a dent are Sheets (on price) and services that unbundle Excel into no-code/low-code products where you make your money by not being as powerful.
Comments
Why a DAG? You might want recursion. We have pretty great computational models already, I think that what you're talking about is an interface into such a model (a statically typed language) through a spreadsheet like interface, which isn't totally revolutionary.
The problem is making something that can unseat a behemoth like Excel. The only things that seem to have made a dent are Sheets (on price) and services that unbundle Excel into no-code/low-code products where you make your money by not being as powerful.