As Wikipedia says of ml (meta language) languages in general: "Its types and pattern matching make it well-suited and commonly used to operate on other formal

As Wikipedia says of ml (meta language) languages in general: "Its types and pattern matching make it well-suited and commonly used to operate on other formal languages, such as in compiler writing, automated theorem proving and formal verification." https://en.m.wikipedia.org/wiki/ML_(programming_language) https://en.m.wikipedia.org/wiki/ML_(programming_language)