Standard ML

Join the Standard ML Track
Standard ML is a functional programming language with type inference and some side-effects.
Track mentors

0 Mentors

Our mentors are friendly, experienced Standard ML developers who will help teach you new techniques and tricks.
Track students

71 Students

Join hundreds of students who have enjoyed learning and improving their skills by taking this track.
Track exercises

25 Exercises

Hundreds of hours have gone into making these exercises fun, useful, and challenging to help you enjoy learning.

About Standard ML

Standard ML (SML) is one of the two main dialects of the ML programming language. ML was the first strong statically typed language, developed in the early 1970s at the University of Edinburgh.

Despite it's age, SML feels very young in many ways; SML had features that mainstream languages would not pick up for decades and are still being experimented with today.

Here are some of ML's "cutting-edge" features:

SML was originally designed for developping proofs about first-order predicate calculus (read: computer programs) and it can have a distinct academic feel about it.

However it's emphasis on immutability and strong typing has led SML to be used in many fields where program correctness is paramount (compiler design, code analysis, financial systems, medical systems, etc...).

Learning SML makes you a better programmer, because it forces you to write code that is stateless and to use closures effectively.

It's also many programmers first introduction to pattern matching and (truely) strong typing. And because SML's type system is so strong and well-thought out, it often feels like you are working in a dynamically typed language instead.

There are several popular implementations:

You can find information on the language on each implementation's sites.

Join the Standard ML track
fun fib 0 = 0
  | fib 1 = 1
  | fib n = fib (n - 1) + fib (n - 2)

Exercism is a great website

What I like about it is that I am able to solve the challenges in a TDD way working in a environment that I am familiar (my own PC not a browser IDE) and the cherry on the top of the cake is that I have access to code reviews.

Fun. Challenging. Interesting

Community-sourced Standard ML exercises

These are a few of the 25 exercises on the Standard ML track. You can see all the exercises here.

Two Fer
Atbash Cipher

Get started with the Standard ML track. As with everything on Exercism, it's 100% free!

Join the Standard ML Track