I'm designing a language for .NET Core, it's "almost" complete (no implementation yet), but I need to make some design decisions, and work on a few major topics.

The language is C#-like with enhancements, but the important is its semantics:

• Nullability and mutability tracking in the type system.

• Pervasive values, any class can be allocated in the heap or in the stack, and ownership tracking with move semantics.

• Value ADTs and pattern-matching.

• try-catch error handling based on values (typically ADTs).

• Explicit differentiation of values from references with lifetime tracking.

• Language built-in RAII-like resource management for external resources and automatic clearing of managed references.

• Object-Oriented with strictly only interface inheritance, and implementation reuse by composition.

• Structured concurrency.

• Built-in native interop and unsafe code.

The idea is how all this features work together to make a middle level (lower level than C# but not native) and convenient language, so as to be applicable for high performance networking and web services, Indie games, low latency audio synthesis, signal processing, scientific computing, etc.

Now, the question is: would you want to help me in this project in your spare time? All online, open source, without pressures, and for free? :)