OCaml
From CryptoWiki
Revision as of 11:31, 28 September 2019 by wiki_crypto>Zeb.dyor
Basics
- Used by Tezos
- "The developers made a unique choice to use OCaml as the programming language arguing that it offers better security features and is a more powerful interface compared to other options like C++. OCaml also allows developers to check operations using formal verification which can detect potential bugs or errors in the code."
Creators
- According to this post by the Tezos Commons Foundation, this tech was not created by OCalmPro.
- According to the Tezos Foundation's team page Michel Mauny and Inria are the creators; "Michel joined Inria in 1985 and worked on programming languages with the research group that designed and developed OCaml, the functional programming language used to implement Tezos, and the Coq proof assistant."
- However, in the announcement of Dune, Fabrice Le Fessant claims:
"From my days at INRIA for 15 years and teaching at Ecole Polytechnique, to founding OCamlPro in 2011 and finally contributing to the emergence of Tezos" and "Today, I am leaving OCamlPro and its successful TzScan and Liquidity projects to lead the newly created Origin Labs company, aiming to work exactly in the same way as I have always done."
So it could well be that he has contributed to OCaml.
