Thanks Hive account@kyle.anderson for this excellent analysis. I don't see why OCAML could not be implemented in EOS eventually, along with Tau and other langages, including solidity and WebAssembly. I put all my eggs in the EOS basket. I am kind of allergic to hype.