Your comment about Haskell and OCaml is interesting. There is a company called BlockApps that is developing and now fielding a system with a simplified scripting language for smart contracts for Etherium, implemented in Haskell. The old "Domain Specific Language" game! Their product does a lot more than that, though.