[WIP] ts2clar

[hugoclrd]

fix: #1783

Disclaimers

At this stage, I'm primarily looking for architectural feedback. The current process is to:

• Convert the TS code into an intermediate representation (IR), mostly to get the top-level definitions
• Transpile this IR in Clarity PSEs
  • There's a sub-step here that handles function bodies
• Format the PSEs to Clarity code with the Clarity formatters

---

• There are still thousands of syntax decisions to take and nitpicking to do; this is not the focus of this particular PR and will be addressed 1 by 1 on separate GitHub issues or discussions
• This is only one half of the project; the other half is the Clarity standard TS lib definition (available in this repo - private)
  • In TS tooling, the approach is often to let the tooling (such as eslint) handle the type safety, because there are no other TS type implementations than the official JS one (and the recent port in Go). That's the approach of SWC and OXC. They will happily transpile invalid TS code into JS
  • There is currently a similar approach. ts2clar will have some support for basic type-inference at some point, and the error handling for invalid code will need to be greatly improved for v1.

[codecov]

Codecov Report

❌ Patch coverage is 90.22801% with 240 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
components/ts-to-clar/src/expression_converter.rs	92.09%	96 Missing ⚠️
components/ts-to-clar/src/parser.rs	93.34%	42 Missing ⚠️
components/ts-to-clar/src/clarity_std.rs	71.54%	35 Missing ⚠️
components/ts-to-clar/src/converter.rs	91.76%	29 Missing ⚠️
components/clarinet-cli/src/frontend/cli.rs	0.00%	14 Missing ⚠️
components/ts-to-clar/src/bin.rs	0.00%	14 Missing ⚠️
components/ts-to-clar/src/types.rs	86.66%	10 Missing ⚠️

📢 Thoughts on this report? Let us know!