5 ms·

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. pyt

• morgante 3y ago
  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.
• herrington_d 3y ago
  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 :/