Comment by lolc
2 months ago
There are enough ambiguities between language libs, even different versions of the same lib, that transpilation will always depend on verification.
It'll work for toy examples. For nontrivial code the generated transpilation will flame out in a different way on every run.
No comments yet
Contribute on Hacker News ↗