Indeed, Objective Caml is a multi-paradigm language with pattern matching.