функциональном языке программирования OCaml. Не менее важно, что это язык с сильной типизацией и впечатляющей системой вывода типов (компилятор сам может вывести тип значения у выражения). Используя язык с сильной типизацией, ты никогда не сможешь просуммировать количество людей и количество токенов. Это легко может случиться в языке типа C++, хотя в этом нет никакого смысла. Его выразительный синтаксис и семантика (смысловые значения операторов) значительно упрощают важную задачу – кратко и правильно описать логику, которая стоит за блокчейн протоколами. К тому же Coq, один из самых продвинутых инструментов для формальной верификации программ, полностью