I'm considering the development of a new programming language, drawing inspiration from Rust's strengths, with a focus on compiling to JavaScript. Here what I'm considering are some key features:

- Strict Typing System: no type-related bugs.

- Algebraic Data Types.

- Exhaustiveness Checks.

- 'Unsafe' Mode: Directly interact with external JavaScript/TypeScript.

- no 'null/undefined': Option/Result instead.

- Trait-Based Programming.

- Backend Development Focus.

- Compiler: dead-code elimination and partial evaluation, similar to Prepack[0] (by Facebook).

I believe this approach could bring significant benefits, especially with recent additions like TypedArray and worker threads.

Would this be of interest to the community? Looking forward to your insights and discussion.

Currently I don't feel confident to complete the project as I am so any recommended resources[1] would be extremely helpful, especially around the area of implementing types.

[0] https://github.com/facebookarchive/prepack

[1] https://github.com/taosx/axido (nothing is decided)