Caml это язык программирования общего назначения, разработанный с безопасностью программного и надежности. Это очень выразительные, но простой в освоении и использовании. Caml поддерживает функциональные, императивные, и объектно-ориентированные стили...