История изменений
Исправление monk, (текущая версия) :
Т.е. мутабельный тип в принципе не может быть зависимым
Ну почему? У указанного списка могут меняться элементы. Значит он мутабельный.
А ещё можно сконструировать тип «Список не более 10 целых».
Xanadu, кстати, не смотрел?
Практически нет
Исходная версия monk, :
Т.е. мутабельный тип в принципе не может быть зависимым
Ну почему? У указанного списка могут меняться элементы. Значит он мутабельный.
А ещё можно сконструировать тип «Список не более 10 целых».
Xanadu, кстати, не смотрел
Практически нет