I've been working away at this idea for almost a decade now (off and on) and I think I have solutions to the majority of problems.

I'm about to invest a lot of time into fin and thought now would be a good time for a sanity check :)

Interesting things about fin:

- focuses on resource constrained embedded systems (no heap or garbage collector required).

- fin is like a modern C++ that is much simpler, way safer, and already has superb tooling (IDE, debugger, refactoring...).

- transpiles to high quality human readable C99 so we can use it with any microcontroller.

- has incredible testing/simulation capabilities (python like).

- familiar C/C++ syntax (be productive day 1).

- ...

https://github.com/fin-language/fin

Thanks for your interest and ideas!