To clarify, I’m not arguing that Tezos is shiny right now. It was shiny during ICO, and now it’s possible I wouldn’t buy it.
But OCaml was certainly one of the big factors that lept at me. It signalled that they were serious about writing code that could be proven to be correct. (This is in contrast to Ethereum’s Solidity.) Basically: 1) I looked at what they were promising to do, and it seemed to have enough additional good things beyond Ethereum, 2) nobody I saw was disputing their tech, so I didn’t have to understand it in detail, just enough to verify that it seemed innovative, and 3) they had a credible team (this was before the conflict). To me that was sufficient at the time, given that much much shittier ICOs were making money hand over first.
To clarify, I’m not arguing that Tezos is shiny right now. It was shiny during ICO, and now it’s possible I wouldn’t buy it.
But OCaml was certainly one of the big factors that lept at me. It signalled that they were serious about writing code that could be proven to be correct. (This is in contrast to Ethereum’s Solidity.) Basically: 1) I looked at what they were promising to do, and it seemed to have enough additional good things beyond Ethereum, 2) nobody I saw was disputing their tech, so I didn’t have to understand it in detail, just enough to verify that it seemed innovative, and 3) they had a credible team (this was before the conflict). To me that was sufficient at the time, given that much much shittier ICOs were making money hand over first.