However, I'd instead check out Cardano's (ADA) Plutus platform [0]. It's a subset of Haskell as I understand it. They have a online playground to simulate contracts [1].
Cardano also has a ERC-20 converter [2], so expect a lot of projects to also move to Cardano (given the much lower fees and higher throughput) when smart contracts are released in August/September.