Check out Caramel [1] as well -

[1] https://github.com/AbstractMachinesLab/caramel

and Hamler too ...

https://www.hamler-lang.org

https://github.com/hamler-lang

https://news.ycombinator.com/item?id=23491516