ML

ML is a statically-typed functional programming language known for its strong type inference and pattern matching capabilities. It is commonly used for writing compilers, theorem provers, and as a general-purpose language for programming with a focus on mathematical and logical tasks.

Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.

• Wikipedia page