EB
Но это же от того что компиляторщики постарались и когда делаешь добавление элемента к массиву он не аллоцирует новый кусок памяти и создает новый объект, а просто в памяти мутирует уже существующий
Size: a a a
2020 August 08
EB
То есть под капотом появился слой магии, который чего-то стоит, еще и не всегда понятен
Oℕ
а в какой момент под капотом не стояло непонятного слоя магии ради перфоманса?
Oℕ
в 60-х?
Oℕ
я родился в 85м, всю мою жизнь стояло
EB
аргумент
λ
Кто-нибудь может напомнить, чем
принципиальнро хуже
?
def foo(ctx: Ctx): F[A]принципиальнро хуже
def foo(implicit ask: ApplicativeAsk[F, Ctx]): F[A]?
Тем, что в трейтах придется в сигнатуры класть Ctx
А во втором случае - это деталь имплементации
А во втором случае - это деталь имплементации
S
Возможно я ошибаюсь но не любую же рекурсию можно tailrec'ом превратить в цикл
зато любой цикл можно превратить в tailrec рекурсию
λ
Но это же от того что компиляторщики постарались и когда делаешь добавление элемента к массиву он не аллоцирует новый кусок памяти и создает новый объект, а просто в памяти мутирует уже существующий
1. Компиляторщики не пишут рантайм либы
2. Добавление элемента в массив какой не аллоцирует новый? )
2. Добавление элемента в массив какой не аллоцирует новый? )
λ
зато любой цикл можно превратить в tailrec рекурсию
Не любой
EB
1. Компиляторщики не пишут рантайм либы
2. Добавление элемента в массив какой не аллоцирует новый? )
2. Добавление элемента в массив какой не аллоцирует новый? )
2 ты о чем?
λ
О том, что добавление элемента в обычный array это копирование и создание нового
EB
О том, что добавление элемента в обычный array это копирование и создание нового
В скале добавление нового элемента в конец массива приведёт к аллокации места под новый, копирования и уничтожения предыдущего объекта?
EB
Ты уверен?
NM
В скале добавление нового элемента в конец массива приведёт к аллокации места под новый, копирования и уничтожения предыдущего объекта?
у массива нет метода append, только appended который копирует весь массив.
λ
Ну на то он и массив
EB
Я понимаю что с нашей точки зрения это порождение нового объекта, но разве под капотом это не оптимизируется в мутацию массива?
λ
Нет
NM
Я понимаю что с нашей точки зрения это порождение нового объекта, но разве под капотом это не оптимизируется в мутацию массива?
в ArrayBuffer да в Array нет