Formal verification and voting, please review LiquidHaskell for Cardano’s thoughts on language.
Most developers know Haskell better than OCaml, if at all, so can get to market faster.
Know your competition better read Why Cardano.
When you gain understanding please consider voting for yourself on the Tezos blockchain as voting is a big differentiator that Tezos will have now.
Thank you @glebowski for bringing Cardano to the Tezos community s attention. They are very active in Singapore, my home.
Please consider chainomatic my employer if you want to run a node without having any technical knowledge to keep your vote.