169 похожих чатов

Какой профит от SPECIALIZE прагмы?

16 ответов

8 просмотров

Меньше редиректов ценой дубликации кода. https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#specialize-pragma

Пользователь 629ad
Меньше редиректов ценой дубликации кода. https:...

ну так-то это наоборот средство уменьшить дупликацию кода

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

Danil-Berestov Автор вопроса
Danil Berestov
А почему "снова и снова"? не понимаю

ну локально в разных местах специализировать одно и то же

Danil-Berestov Автор вопроса
Danil Berestov
А, вот оно шо. Он реально так делает? А зачем?

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

A64m AL256m qn<cores> I0
ну так-то это наоборот средство уменьшить дупликац...

Наоборот ведь, иначе будет одна полиморфная функция, в которую словарики параметрами передаются, а так их будет много, но со специализированными типами и словарями. Агрессивно и повторно специализирует С++, нет?

Пользователь 629ad
Наоборот ведь, иначе будет одна полиморфная функци...

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

A64m AL256m qn<cores> I0
ну он попытается, чтоб не была одна полиморфная фу...

Если функции в разных модулях, то и пытаться не должен.

A64m AL256m qn<cores> I0
должен, конечно, и будет

> By default, functions are not specialised across modules. Только если поменлось что-то за 3 года. https://wiki.haskell.org/Inlining_and_Specialisation

Пользователь 629ad
> By default, functions are not specialised across...

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

A64m AL256m qn<cores> I0
это не соотвествует действительности, для функций ...

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

Похожие вопросы

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
что насчет пагинга? на осдеве непонятно(
Vi Chapmann 🪙
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
если загрузчик efi? если сама PML4 PDPT PDT PT лежит в неудобном для меня месте?
Vi Chapmann 🪙
8
Читаю сейчас [нет, уже больше не читаю!] курсовую о Булгакове, написанную, похоже, с помощью ChatGPT. Это удивительный психоделический опыт. Текст в основном написан в стиле б...
✨ Uni [🌊 В отпуске]
1
Карта сайта