Smart contract languages are pretty funny - I have yet to see an actual programming language theorist weigh in on them. I read one blogger who was very excited about the type system he was making for his language, but he never actually explained what a type-safe smart contract would entail (i.e. what invariants are encoded into the type system, why do these invariants do the thing, etc).