rfc VS Carp

https://github.com/soupi/rfc/blob/master/fun-compilers.md has a few resources that might be helpful.

imo check out fun-compilers.md and follow one of the courses at the top while translating OCaml to Haskell.

Fun compilers has some links for you. In particular I'd recommend:

I have a few slides on compilers and Haskell (a functional language, kinda similar to sml), I hope this will make the picture a bit clearer to why fp langs are effective for compilers.

I'd like to address your first question, I gave a talk once about the relationship between compilers and Haskell, and at the bottom I link to a bunch of resources on compiler construction using Haskell/functional languages, including a compilers book using Haskell.

My list of resources

Carp - https://github.com/carp-lang/Carp - "A statically typed lisp, without a GC, for real-time applications." where it's "Ownership tracking enables a functional programming style while still using mutation of cache-friendly data structures under the hood".

Looking for a personal project so open-source would be great, but maturity/production readiness is not really a factor.

The only significant thing i can find so far is https://github.com/carp-lang/Carp.

Anything notable that i might have missed ?

Not CL, but there is ulisp (http://www.ulisp.com/) for microcontrollers, supposed to be really tiny, and there is Carp (https://github.com/carp-lang/Carp) which is without a GC so seems suitable for real-time stuff.

by their powers combined

Everybody is trying to make a more user-friendly Rust. The problem is that it is not clear yet whether that's possible, and if it is, how it may look. I know Vale and have tried it, though it's extremely early to judge anything so far. It does have a much stronger theoretical background than V, but even the theory is not completely clear at this point.

There is also Carp by the way: https://github.com/carp-lang/Carp