а что у hasql интерфейс поменялся?

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

@lonokhov вроде нет

просто это модно делать 1.0

"Новый Hasql: Проще и Быстрее" ну незнаю, доклад вот

Никита идёт в форватере ко-ко-комитета

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

ну я смотрю в хаддоки и вообще разницы не видел

да Арно на нас тренировался

я кстати после этого менее радстным стал по отношению к ним

я вообще не понимаю как с исключениями работать там

bracket не написать

аналоги ResourceT/Region - безопасно тоже

можно делать bracket и результат заворачивать в линейный тип

можно делать умный освобождатель

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

но это как-то defeats the purpose

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

ну у меня изначально ожидания были не завышенные

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

бонус в что оптимизации ghc не будут с мусором мутить у стримов это же уже хорошо

вот да

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

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

вообще какое-никакое практическое использование у чего-то родственного линейным типам было только для изменений на месте в клине

но там ощущения от всего этого не очень веселые

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

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

ну оно не даст стрим случайно переиспользовать

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

inplace структуры наверное можно реализовать с этим

или чистый интерфейс к мутальной структуре

для тех кто не любит IO таскать

вот destination passing style выглядит с линейными типами логичным

но там исключения и БАХ БАМ!

все равно их в GC-ed хипе хранить

ну или хотя бы регион

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

короче говоря, код на клине с изменениями на месте с чистым интерфейсом страшнее ST в хаскеле выглядит

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

это при том что в клине специальный синтаксис есть для let-no-rec

там они делали в качестве магистрской (или просто летней работы) черта streaming-safe

типа стриминг но с линейными типами

у них там какой-то ад был с оверлоадингом и rebindable syntax

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

при этом ещё и без takeWhile/dropWhile остались

угу

это еще к тому что нормальный монадический интерфейс импользовать нельзя

ну они вроде использовали

т.е. стримы -то будут работать как надо, но интерфейс у них вообще адовый будет

с другой стороны поидее стримы могут все прятать внутрь

когда ты свою пускалку стрима не пишешь

а для исключений нужны не линейные а афинные типы

да и для мутабельности на месте лучше афинные

если я не путаю как называются те, которые гарантированного "потребления" не требуют

они

мне в этом отношении раст нравится

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

т.е. будет как-то эта тема развиваться

не считая ада с замыканиями и т.п. и того, что иногда "какого-хрена-оно-не-работает-хотя-должно"

да

в общем-то такой план

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

(в большинстве случаев)

фу таким быть

каким?

"Новый Hasql: Проще и Быстрее" ну незнаю, доклад вот

Волков же что-то писал, или в том докладе рассказывал, я не помню уже, что зарелизил старую библиотеку как 1, а новую продолжает разрабатывать с версиями 0.X - какая-то очень странная идея

в духе снойманитов

со странным пониманием версионирования

также я посмотрел доклад по Зено, но там как-то конкретики маловато

вообще там много нормальных докладов для начинающих (по оптимизатору ГХЦ два, по разным ансейфперформам, и по ликвидхаскелю) но кто не начинающий - то уже все это сто раз слышал, конечно

каким?

тупые эмоджи везде пихать

почему везде и почему тупые?

в принципе, по алгебраическим графам доклад нормальный

почему везде и почему тупые?

а что хорошего в них? в коде как-то без них надо обходиться (попривыкали что в жс эту дурь пихают)

но это из разряда всяких "функциональных жемчужин"

а что хорошего в них? в коде как-то без них надо обходиться (попривыкали что в жс эту дурь пихают)

а в го без генериков обходятся

что за аргументы

в принципе, по алгебраическим графам доклад нормальный

у Берда там была такая тема про это вроде

а в го без генериков обходятся

аргумент что это не детские забавы и тебе не 5 лет

у берда больше про то, как делаем наивную простую реализацию-"спецификацию" и потом радом трансформаций получаем эффективную