Hi All,
It's Rooney and I am bringing the next story of 'What is OCaml?' today.
The value of Tezos token seems not really be a pleasant thing these days but I am sure that this is one of the necessary steps that Tezos should go across until all of us see the actual fruits and take them as much times and endeavours as you spent on for each!
Leaving the token pricing issue behind, just see the reality and the future. Everyone in Tezos eco-system is on the go, and Tezos itself has been bolstering organizations and people inside to proceed what they have been planning to drag a bright future for Tezos and its people.
Tezos is not a common token in which people just expect Tezos to head up the process and situation, but works conversely for the people inside!
I just want to underline this fundamental spirit that Tezos embedded from the beginning before talking about 'Why Tezos chose OCaml'
Then, let us get to the point that why Tezos chose OCaml as their programming language.
[Why Tezos chose OCaml]
Some of below is quoted from a short dissertation of Tezos: the OCaml Crypto-Ledger written by Arthur Breitman(or Breit'wo'man).
First off, 'A first prototype of Tezos was implemented in a few months in OCaml' means Tezos chose OCaml just from the beginning because there were very crucial factors regarded as the core parts forming the fundament of Tezos: safety, security of a statically-typed language, and being able to execute code pretty fast!
Secondly, OCaml provides a well-designed module system that helps encapsulate the economic protocol and abstract it from the other parts of the implementation.
Thirdly, the architecture itself relies on popular and well-tested OCaml libraries. The client also embeds the OCaml compiler to be able to compile downloaded updates when they have been successfully voted for by the stake-holders.
Alright, it is now clearer than ever that Tezos chose OCaml because the most advanced feature of OCaml is now representing itself to support implementing a modern crypto-ledger with a verification-friendly smart contract language. And these are those maintaining Tezos a sustainable one and unwavering by anything.
Hope you enjoy the rest of this week!
See you very soon with another insight of Tezos!
Thanks,
Do Baking! @ http://tezdele.io
Sincerely,
Rooney
