ML (Meta Language) is a general-purpose functional programming language developed at the University of Edinburgh, known for its strong static type system with type inference and pattern matching. Major dialects include Standard ML and OCaml.