(там, где это записывается, ... не тот же самый — к нему уже будет задана интерпретация, обозначенная ЯП, т.е. это пример омонимии)

Как "развернуть итератор" (reverse) без вычисления всех его элементов (вычисляя только spine)?

Вы можете смотреть на это как на вопрос производительности/оптимизации, но можно смотреть как на вопрос "отзывчивости" — быстро показать пользователю "общий вид", а потом вычислять только то, что он попросит против "сначала всё вычислить, а потом показывать что нужно" — либо как на вопрос "степени извращённости" кода при заданной производительности. Потому что прямолинейная реализация + reverse + ленивость даёт нужный результат, но того же результата можно добиться, "вывернув алгоритм наизнанку" и добавив "инфраструктурного кода" вокруг.

The compiler will optimize that away
Article, Comments

Классический пример производительности AoS vs SoA. Но самый быстрый будет все же гибридный подход Array of Structures of Arrays (AoSoA) или Tiled Array of Structs. В общем, тема не до конца раскрыта

Имхо скорость каждого из вариантов AoS vs SoA vs AoSoA сильно зависит от паттерна использования и потому нужно выбирать конкретную реализацию в зависимости от него. И от характеристик кэша, конечно.

И от ширины SIMD регистра в случае с AoSoA

Конечно.

Ещё забавно, что автор пишет "Object-oriented" и под этой вывеской валит тупо процедурный код. 😂

Так это, всё что не в point free функциональщине — всё ООП :)

ranges в D это такие умные "итераторы", с ними и не такое можно

А что делает !f после map🤔

Это так f передается в map.

Спасибо, понял.

Списки в Haskell — это такие умные "итераторы", с ними и не такое можно.

Об чём, собственно, и речь. 😊

Аналогичный код на хаскельных списках развернет в памяти список на миллион санков. А тут нет, никаких лишних аллокаций. С другой стороны, ренджи не делают мемоизации, а настоящая ленивость делает. Везде свои trade offs. И ренджи лишь про последовательности, а хаскельная ленивость для произвольных структур данных работает...

У D отключаемый GC, C-like syntax, мощные compile time функции и многое другое!

Спасибо, что пересказали Википедию. Что же Вы хотели этим сообщить? 😉