Hacker News Reader

hey.. are these tools (or combination there of) capable of converting parts of code in one language to another? Given no (or minimum) idiosyncracies... e.g. python to javascript or other way around? (And no, ML is not the answer, i need provable correctness)

View on HN

I've done a lot of work in this space, and unfortunately the answer is largely no.

These provide a nice frontend for writing simple rules, but I would not want to (essentially) write an entire transpiler in yaml.

For Python->JavaScript, you likely want a transpiler focused specifically on that.

Unfortunately, every such effort eventually hits serious limits in the emergent complexity for languages. There's a reason most of the SOTA techniques ML-based.

Provable correctness means you have to model your source and target languages. And then translate the source model to the target model. It is theoretically possible, but in practice, modeling an industry language is way too much work. Some languages do not even have a spec :/

Reply on news.ycombinator.com