Something like Borgo https://borgo-lang.github.io/
Sadly, seems to be abandoned. Last commit a year ago.
Sadly, seems to be abandoned. Last commit a year ago.