4 ms·

I know cryptocurrency is contentious in this community so apologies for injecting it here: OCamlPro is heavily involved in the development of Tezos and a big p

I know cryptocurrency is contentious in this community so apologies for injecting it here: OCamlPro is heavily involved in the development of Tezos and a big part of the reason I invested in it. One of the main selling points of Tezos is formal verification, which OCaml (being a pure-ish functional language) was instrumental for. Regardless of the future of crypto (fad or world changing) if it's handling money or other assets it should be done safely. This is step in that direction. OCaml is also used at Bloomberg and Jane Street.

sshine 8y ago
That's also why I bought some tezzies, or what they're called. It's a pity that functional programming and formal verification aren't enough to overcome selfish and destructive founder behavior.
- dbrgn 8y ago
  It's complicated. Here is a huge Wire story about Tezos: https://www.wired.com/story/tezos-blockchain-love-story-horror-story/ https://www.wired.com/story/tezos-blockchain-love-story-horr...