ml

ML("Meta Language") - это универсальный функционал язык программирования . ML имеет статическую область видимости. Он известен тем, что использует полиморфную систему типов Хиндли-Милнера , которая автоматически присваивает типы большинству выражений...