Для чего используются кортежи в языке SML?
Что понимается под литералом в языке программирования?
На каком этапе определяются типы выражений в языке SML?
Какая конструкция используется в языке SML для рекурсивного определения типов?
Возможна ли неявная реализация комбинатора неподвижной точки на языке SML?
На каком этапе трансляции программы используются абстрактные машины?
Какие типы SML относятся к базисным?
Какие виды рекурсии существуют?
На какие категории подразделяются типы SML?
Какие домены имеют неопределенные элементы?