AN
как та хрень называлась для мутабельного вектора?
Size: a a a
2021 June 22
[
ты Vect-ами хочешь квиксрт пилить?
AN
наверное в идрисе нету такого
[
есть всё
[
языку 13 лет
[
ты думаешь, туда массивы не добавили?
B
ого, а чо его молодым называют?
П
Запусти терминалом чо там ему не нравится?
AN
думаю не добавили
[
потому на него потратили столько же человекочасов, сколько на раст с 2010 по 2012
B
там скорее всего BadMatch и это не лечится
B
а,
AN
replaceAtDiffIndexPreserves хм
[
только я не уверен, что это можно юзать
B
но сам факт, что от включения фхаа в дровах меняется поведение игры
AN
ну а тут нету завтипов
[
сделай
AN
я вообще не знаю во что оно компилирует обычный Vect
П
Там переопределение настроек