堅牢で高速な関数型言語の実装「Poly/ML」とは？Standard MLの世界を覗いてみよう

Poly/MLは、Standard ML（SML）の高性能な実装環境です。型安全性と強力なコンパイル能力を備えたこのツールは、関数型プログラミングを深く学びたいエンジニアや、信頼性の高いシステム構築を目指す方に最適です。実行速度と効率性に定評があり、SMLのフル仕様をサポートしています。

「Standard MLは、数学的な関数の威力をフルに発揮できるという意味で、関数型プログラミング言語である」。リポジトリにリンクされていたPDFにそう書いてあったよ（Standard MLが何なのか知らなくて、マークアップ言語かと思ってたんだけどね）