3 ms·
Formally specify all the commonly used languages, runtimes and APIs, so that we could translate programs between them. Then make sure that all programs such tra
by js8 7y ago
Formally specify all the commonly used languages, runtimes and APIs, so that we could translate programs between them. Then make sure that all programs such translated can be compiled, so that we don't waste resources by running inefficient VMs.
- drusepth 7y agoThis would go a really long way towards efficient code reuse as well, with far less "reinventing the wheel" all the time if shared libraries more easily work across all (common) languages.