mlは関数型言語であるため、数学的なプログラミングの理論そのままに、記述することができる。