Spy (https://github.com/spylang/spy) is an early version of this kind of thing. I believe it compiles to C though, kinda like Nim. Actually speaking of Nim, that's probably the most mature language in this space, although it's less platonic than Spy
GitHub - spylang/spy: SPy language
SPy language. Contribute to spylang/spy development by creating an account on GitHub.