Tezos uses Michelson language. Functional, aims to provide more simple, secure and auditable code.

Ethereum's Viper has similar goals (still experimental).

Some more information on other platforms (NEO, QTUM): https://hackernoon.com/the-new-age-of-dapps-is-here-and-its-not-based-on-ethereum-2246fc4d9eee