*писал

ну есть у него такой пакет, которым можно проверять сработали ли оптимизации

у generic-lens тестсьют на такой штуке сделан

это все сильно экспериментальное, конечно

я немного про другое, про такой едсл для написания фортранолапши в виде комбинирования комбинаторов которое или работает или нет, а не ускоряет если повезет

ну и с настройками всякими типа анролла и прочего, т.е. полностью противоположный подход для нынешних фьюжн-механизмов, которые претворяются, будто их нету вовсе

угу

мне кажется что если явно писать на бандлах и стримах, то этого добиться можно

но там комбинаторы нужны

вот для unrolling-а и т.п.

@voidlizard а ты знаешь как на сях сделан быстрый memcpy? я могу как-то переиспользовать магию если собираю не gcc

кроме как явно повторить специализации

а самое противное, что когда пишешь большой проект вообще не обращаешь внимания на эффектвность пока не бомбанет

это моя обычная практика

обычно все слишком большое, чтобы за мелочами успевать следить

угу

такими как производительность

а потом начинаются прыжки вокруг flamegraph, eventlog и прочей телиметрии

ну а что делать то

ничего

@qnikst ну там же вся суть, что разные реализации подставляются на этапе компиляции

и инлайнятся поди

там sse всякий и тп подобный треш

т.е я не знаю какие именно оно реализации подставляет - как правило, это видно в perf когда в memcpy висит

угу, мне интересно на rewriting rules такое зопилить можно или нет

ну или в листинге должно быть видно

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

ну если там можно подставлять разный сишный код в зависимости от условий

но это ж ппц.

ломаться будет, поди

вы еще олимпиадку продолжаете чтоли?

ну если у будет какой-нить fast-memcpy пакет

не

скорее, что полезное из неё можно вынести

Можете порекомендовать чтиво про фьюжн (есть ли под этим какая-то теоретическая база или это просто эвристики)? Знаю про это ничего, но очень интересно погрузиться. #fusion

тезис дункана

и несколько дней поднималась назад эта тема

теор база есть

ещё можно про acid rain и компанию почитать

там еще не назывался пейпер целиком посвященный проблеме concatMap в стрим фьюжене и способам решения

там много веселых хиломорфизмов и т.п. // @xgrommx понравится

вспомнить бы его название еще

спасибо!)

Не статья, но очень хороший туториал: https://www.stackbuilders.com/tutorials/haskell/ghc-optimization-and-fusion/

тоже спасибо

во, нашел https://pdfs.semanticscholar.org/634c/5936ee0be6ab9adcd89924dbe859c13def3b.pdf

во, нашел https://pdfs.semanticscholar.org/634c/5936ee0be6ab9adcd89924dbe859c13def3b.pdf

👍

http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7401

вот предыдущий подтред с пейперами

ну и основное чтение это диссер Коутса: https://ora.ox.ac.uk/objects/uuid:b4971f57-2b94-4fdf-a5c0-98d6935a44da

огонь!

спасибо еще раз)

там много веселых хиломорфизмов и т.п. // @xgrommx понравится

что где?)

щас найду магистрскую товарища

что где?)

пока он ищет, вот http://vmchale.com/recursion-scheme-generator/index.html

баян

в плане рекурсивных схем многое баян уже) видел много всякого

monadic symplectomorphic chronomorphism generalized apopostpromorphic postpromorphism

блин чот не ищется а снова спрашивать стыдно

где-то тут https://www.fing.edu.uy/inco/proyectos/fusion/ должна быть

блин чот не ищется а снова спрашивать стыдно

не думаю что стыдно)

я у него уже спрашивал ссылку на thesis

@A64m_qb0 как всегда спасибо!

https://www.fing.edu.uy/inco/proyectos/fusion/dominguez-thesis.pdf

пока он ищет, вот http://vmchale.com/recursion-scheme-generator/index.html

оно на ghcjs?

вообще там весело, там fusion для нелинейных структур данных

Alexander а ты machine fusion и folderol не ковырял? Типа всякие сплиты и джойны стримов есть

https://github.com/amosr/folderol

это другой Alexander

неа

оно на TH, так что неявностей как с инлайнингом якобы не должно быть

ну и по картинком в пейпере как обычно всех быстрей :)

картинки в пейпере всегда так

Alexander а ты machine fusion и folderol не ковырял? Типа всякие сплиты и джойны стримов есть

Ну больше Липмеера для хаскеля в этой области никто не делал, так что придется смотреть

https://www.reddit.com/r/programmingcirclejerk/comments/789nay/nokia_proposes_to_make_c_a_monoid_with_the/

https://www.reddit.com/r/programmingcirclejerk/comments/789nay/nokia_proposes_to_make_c_a_monoid_with_the/

C++ на той стадии, когда трудно понять, серьезно они это говорят, или шутят.

Пять стадий принятия монад в C++ 😏

C++ на той стадии, когда трудно понять, серьезно они это говорят, или шутят.

это первая

https://www.reddit.com/r/programmingcirclejerk/comments/789nay/nokia_proposes_to_make_c_a_monoid_with_the/

resistance is futile. you will be assimilated.

0.87s

haskell

F.foldMap (U.foldr ()) по вспомогательным векторам индексов