Please describe your proposed solution

When plu-ts was originally ideated the landscape of languages was pretty limited: PlutusTX and Plutarch; the latter being the most efficient.

At the time, the goal was essentially to re-create something similar to Plutarch, but in a language more available to developers like Typescript.

Since then the smart contract development ecosystem improved drastically, especially thanks to aiken, a properly compiled DSL that developers could understand.

At the time of writing plu-ts has a solid compilation process and can generate contracts comparable to aiken in terms of efficiency and size.

However, being embedded into typescript, there is a limit on the improvement on Development Experience that can be done.

For this reason we propose to un-embed plu-ts and make it a proper language, like aiken is, leveraging all the underlying work that already exists for compilation and improving the "frontend" by which the developers will be able to use it.

Please define the positive impact your project will have on the wider Cardano community

There exist all kinds of developers around the world, each with their styles and biases, if we want Cardano to be the base of the global financial system, we need to attract developers globally.

While solutions like Aiken are great, they might not be appealing to the entirety of developers in existence (just look how many programming language exist, there is no "one fits all").

By doing so we can ensure that the development ecosystem can more easily attract incredible engineers looking for the typescript experience on-chain.

What is your capability to deliver your project with high levels of trust and accountability? How do you intend to validate if your approach is feasible?

Michele Nuzzi has been maintaining plu-ts for years now.

On top of it, Harmonic Laboratories is also involved in projects going from alternative clients to research for innovative patterns to use in DeFi, all requiring a profound low level understanding of how the Cardano Ecosystem works.

What are the key milestones you need to achieve in order to complete your project successfully?

Milestone 1: Tokenizer

Milestone 2: Lexer and compilation to AST.

Milestone 3: Compilation from AST to (already exsisting) IR

Milestone 4: Language Server Protocol (LSP) to integrate in the various IDEs for the best developer experience

Final Milestone: close out report and video

Who is in the project team and what are their roles?

1) Michele Nuzzi

• X.com (former Twitter)

Please provide a cost breakdown of the proposed work and resources

Approximating 12 months of work, at a price of 0.40 ADA/USD,

with a monthly salary (including taxes and other costs) of ~6'700 USD / month

the total estimated budget would be of ~201000 ADA

No dependencies.

How does the cost of the project represent value for money for the Cardano ecosystem?

Typescript is among the most used languages by professional developers on earth.

If we are able to reuse the syntax of typescript for onchain languages we can greatly expand the market for developers, much more than what the current ecosystem can offer (yes, even counting aiken)