Objective CAML is one of the hybrid programming languages, that is, it supports several programming paradigms, in this case we have object-oriented programming and functional programming. As it is known, the strengths of functional programming are: code reliability, convenience of testing, possibility of optimization during compilation, etc. But despite all the advantages of functional programming, there are also disadvantages, such as: a different writing style from imperative programs, often a lack of good literature, inconvenient syntax, etc. If anyone is interested, I would venture to tell you in more detail about this programming language.