Sounds really interesting, but it seems like this is all due to the graph extraction algorithm needing to use static analysis. Is this such an important requirement that it requires switching languages? I'm not too familiar with how PyTorch works under the hood, but I suspect it doesn't builds a graph (correct me if I'm wrong) and they seem to get good perf. I'm all for new tech, but just wanna get a sense of how impactful this change would be.