O PolyML é um compilador de Standard ML escrito originalmente em Poly. Ele é utilizado para compilar  programas escritos na linguagem de programação Standard ML. É uma ferramenta poderosa e flexível para desenvolvedores, que permite a criação de programas eficientes e confiáveis. 