A family of functional programming languages including SML, OCaml, and F#. For MACHINE LEARNING, USE the [machine-learning] TAG instead!