Hacker News new | ask | show | jobs
by daraosn 3246 days ago
That's what Tezos is doing, using OCaml for their smart contracts.
1 comments
dbrgn 3246 days ago
Actually they use OCaml for the blockchain implementation and their own functional and provable language "Michelson" for smart contracts.

Fun fact: Michelson was the guy that disproved aether :)

link