Take a look at https://chialisp.com

It’s a functional language for smart contracts.