A distinctive feature of the language are abstract data types, calculations in arbitrary algebras, and analytic transformations.
Отличительной чертой языка являются абстрактные типы данных, вычисления в произвольных алгебрах, аналитические преобразования.