HLabs: unembed plu-ts - the next aiken

[GENERAL] Name and surname of main applicant

Michele Nuzzi

[GENERAL] Are you delivering this project as an individual or as an entity (whether formally incorporated or not)

Entity (Incorporated)

[GENERAL] Requested funds in ada

200000

[GENERAL] Please specify how many months you expect your project to last (from 2-12 months)

12

[GENERAL] Please indicate if your proposal has been auto-translated into English from another language

No

[GENERAL] Summarize your solution to the problem (200-character limit including spaces)

We will "un-embed" plu-ts from typescript for it to be a proper compiled language. The goal still to be to use a syntax as similar as possible to typescript.

[GENERAL] Does your project have any dependencies on other organizations, technical or otherwise?

No

[GENERAL] If YES, please describe what the dependency is and why you believe it is essential for your project’s delivery. If NO, please write “No dependencies.”

No dependencies.

[GENERAL] Will your project’s output/s be fully open source?

Yes

[GENERAL] Please provide here more information on the open source status of your project outputs

The project is already open source under  Apache-2.0 license license

[METADATA] Horizons

Developer Tools

[SOLUTION] 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.

[IMPACT] 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.

[CAPABILITY & FEASIBILITY] 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.

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

Tokenizer

Lexer and compilation to AST.

Compilation from AST to (already exsisting) IR

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

close out report and video

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

1) Michele Nuzzi

• X.com (former Twitter)

[BUDGET & COSTS] 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

[VALUE FOR MONEY] 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)