• Standard ML — язык функционального программирования