История изменений
Исправление monk, (текущая версия) :
В идрисе вроде вполне повсюду, хотя я могу путать, надо будет поглядеть подробнее.
Насколько я понимаю, в идрисе можно указать, что тип линейный (а можно не указывать). А в расте, если ссылочный тип не линейный, кусок кода с ним надо завернуть в unsafe.
Исходная версия monk, :
В идрисе вроде вполне повсюду, хотя я могу путать, надо будет поглядеть подробнее.
Насколько я понимаю, в идрисе можно указать, что тип линейный (а можно не указывать). А в расте, если тип не линейный, кусок кода с ним надо завернуть в unsafe.