LINUX.ORG.RU

История изменений

Исправление q0tw4, (текущая версия) :

List<X>.Add

Компилятор может гибко решать сколько сделать отдельных экземпляров для всяких там char, short, int, float, double и один большой List<Object*> для всего остального. Хаскель вроде бы именно так и работает.

оптимизатор не увидит закономерность в коде, поскольку его защищают от экспоненциальной сложности

Пару раз не увидит - простим. Ну и эвристики никто не отменял. Зато какое поле для развития: изобретать новые алгоритмы обнаружения закономерностей в коде.

защита где-то не сработает

Таймер всегда сработает. А большего и не надо.

Исходная версия q0tw4, :

List<X>.Add

Компилятор может гибко решать сколько сделать отдельных экземпляров для всяких там char, short, int, float, double и один большой List<Object*> для всего остального. Хаскель вроде бы именно так и работает.

оптимизатор не увидит закономерность в коде, поскольку его защищают от экспоненциальной сложности

Пару раз не увидит - простим. Ну и эвристики никто не отменял. Зато какое поле для развития изобретать новые алгоритмы обнаружения закономерностей в коде.

защита где-то не сработает

Таймер всегда сработает. А большего и не надо.