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.
You are viewing a single comment's thread from: