LIGO is a statically typed high-level smart-contract language that compiles down to Michelson. It seeks to be easy to use and safe.

https://ligolang.org/