4 ms·
This is a very interesting idea. I worry that the runtime overhead might be enormous (adding two numbers involves concatenating strings), and cause the space us
by Strilanc 5y ago
This is a very interesting idea. I worry that the runtime overhead might be enormous (adding two numbers involves concatenating strings), and cause the space usage of the program to depend on its execution time. I think it's still missing something, like maybe keeping sizes of explanations reasonable by using a machine learned summarizer.
Basically... bang on for a code jam language.
- vnorilo 5y agoA serious implementation would probably use a binary tree (such as twine [1]), so it would basically boil down to creating a node for each operation. Still expensive, but if you imagine integrating it with, say, Python interpreter, I don't think it would dominate execution time. Memory might be another matter. 1: https://llvm.org/doxygen/classllvm_1_1Twine.html#details https://llvm.org/doxygen/classllvm_1_1Twine.html#details