SML

Standard ML is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.https://en.wikipedia.org/wiki/Standard_ML

Enter code in the text field and see the result underneath.