ocamlpro

OCamlPro创建于2011年，旨在倡导业界普遍采用OCaml语言和正式方法。2021是一个非常特殊的一年，因为我们庆祝我们的第十周年！在组建一支由高技能工程师组成的团队时，我们像往常一样通过我们的专业领域、编程语言设计、编译和分析、高级开发人员工具、正式方法、区块链和高价值软件原型设计进行导航。 在这篇文章中，如......