Poly/ML

Poly/ML — это пожалуй одна из самых старейших реализаций Standard ML, в настоящий момент доступна с сайта
http://www.polyml.org. Первоначально реализация была написана в Cambridge University и через несколько лет продана Abstract Hardware Limited, которая и занималась разработкой Poly/ML. Сравнительно недавно Poly/ML была продана в Cambridge University Technical Services, которая и сделала данную реализацию свободно доступной.

Poly/ML поддерживает полностью SML 97, стандартную базовую библиотеку (Standard Basis Library) с некоторыми ее расширениями. Реализация доступна для скачивания в качестве исходных текстов и в виде бинарных файлов. Поддерживаются ОС Linux и Windows на платформах Intel, Sparc/Solaris, MacOS X.

Необходимо подчеркнуть что приложения, реализованные на Poly/ML, является одними из самых быстрых среди всех компиляторов Standard ML.