OCaml is a statically-typed functional language with strong support for pattern matching, type inference, and performance-critical applications. It’s widely used in academia and by companies for high-assurance software.