Alexander
и в результате можно получить reordering логов
A64m
superrecord взрывает компиляцию с 10+ полей
надо бы посмотреть, насколько роу-полиморфизм накостыленный на тайпчекер-плагине тормозит, может быть это выход
Leonid 🦇
не на то ответил, ну ты понел
Alexander
+
A64m
вроде вот такого
A64m
а что скажешь про https://github.com/nfrisby/coxswain ?
Alexander
учитесь проектировать языки https://twitter.com/GabrielG439/status/963601060819476480
Denis
и в продакшон
Alexander
интересно почему dhall на самом верху..
Alexander
при том, что другое не выполнено
Leonid 🦇
@qnikst ты тоже ужаснулся StringOrUri?
Alexander
ну не то чтобы
Leonid 🦇
Вот как с таким работать?!
Alexander
в jwt тоже было StringOrUri
Alexander
похоже особенность jwt как такового
Alexander
видимо кодировка разная
Leonid 🦇
JWT вообще овердизайнед
Leonid 🦇
Энтерпрайз какой-то
Leonid 🦇
И так весь openid connect
Leonid 🦇
И люди ещё на сложность oauth2 жаловались
Leonid 🦇
Хм, Pool PRNG... скорость...
Alexander
так у меня есть Cassava, оно умеет билдер делать, этот билдер можно эффективно скармливать в файл
Alexander
вопрос, я могу при этом как-то считать размер записанного, чтобы прекратить генерить файл, если размер выше указанного?
Artyom
builder to lazy bytestring
Artyom
и потом чанки руками пишешь
Alexander
криво это
Artyom
не могу не согласиться
Alexander
т.е. с какими-нить stm-conduit оно вроде в один пайплайн композится
Artyom
возможно, есть builder-to-conduit и потом на кондуит что-нибудь навесить
Serghei
И люди ещё на сложность oauth2 жаловались
это они ещё не реализовывали SAML просто
Alexander
@lightgreen хм. не сработает, у меня в этом случае поломанная строка может быть
Alexander
если она на границе буффера
Alexander
ладно, какой другой костыль придумаю
Artyom
о, тогда bytestring builder to text builder to conduit
Artyom
или просто кондуит навесь, который текст декодирует
Artyom
хотя, конечно, ты так потеряешь производительность
Artyom
насколько – сложно сказать
Artyom
а кассава не умеет по строчкам стримить?
Alexander
кассава выдает Builder-ы
Alexander
в общем я щас тупо руками файл сделаю, на сегодня мне хватит, а нужно будет что хитрее, то уже буду думать
Alexander
т.е. я могу билдеры на строку превращать в ByteString и мержить их опять и писать это в файл
Alexander
т.е. что-то вроде builderToHandle . mconcat . takeWhile . toLazyByteString . map . builder идеологически
Alexander
лишние аллокации конечно тут
Alexander
но в общем-то это тест
Alexander
Ребята и девчата, вы читали книгу Functional Reactive Programming от Manning? На мой взгляд, книга написана плохо. Тяжелая, неструктурированная, и не совсем про FRP. Авторы пытаются раскрыть тему на примере своей либы Sodium. Забавный факт: на форуме книги разгорелся холивар, что их библиотека - может быть и Reactive Programming, но никак не Functional Reactive Programming, так как в ней нет главного - денотационной семантики. Авторы пытались защищаться от нападок, но внезапно пришел Conal Elliott, изобретатель "классического" FRP, и обвинил их в том же самом, - что их FRP ненастоящее. Мне думается, Conal Elliot со своим FRP попал ровно в ту же ситуацию, что и Alan Kay со своим ООП. Сейчас под FRP понимают что только не, превратив термин в нечеткий баззворд
Cheese
какое-то общее место. изобретатель REST тоже жаловался, что все понимают REST неправильно
Алексей
А есть определения для разработчиков с тремя классами церковно-приходской? Я вот тоже не понимаю
Alexander
Хех, а вы думаете, с самим ФП такой проблемы нет? Еще как есть! Я пытался уже два наброса про Скалу и скалистов здесь сделать, но вы что-то не ведетесь 😊
Aliester
А есть определения для разработчиков с тремя классами церковно-приходской? Я вот тоже не понимаю
ФП - ересь содомитская, злыми безбожниками придуманная вопреки Господу и людскому разумению.
Aliester
Если для церковно-приходской.
Alexander
ФП - ересь содомитская, злыми безбожниками придуманная вопреки Господу и людскому разумению.
А что соответствует канону тогда? Императивное программирование?
Andrew
Процедурное
Aliester
ООП в стиле плюсов.
Aliester
Ибо там кресты. И страдания при жизни за перформанс после смерти программиста.
A64m
Ребята и девчата, вы читали книгу Functional Reactive Programming от Manning? На мой взгляд, книга написана плохо. Тяжелая, неструктурированная, и не совсем про FRP. Авторы пытаются раскрыть тему на примере своей либы Sodium. Забавный факт: на форуме книги разгорелся холивар, что их библиотека - может быть и Reactive Programming, но никак не Functional Reactive Programming, так как в ней нет главного - денотационной семантики. Авторы пытались защищаться от нападок, но внезапно пришел Conal Elliott, изобретатель "классического" FRP, и обвинил их в том же самом, - что их FRP ненастоящее. Мне думается, Conal Elliot со своим FRP попал ровно в ту же ситуацию, что и Alan Kay со своим ООП. Сейчас под FRP понимают что только не, превратив термин в нечеткий баззворд
ну, разница есть, Конал Эллиот действительно пионер фрп, а Алан Кей самопровозглашенный изобретатель ооп после 10+ лет существования без всякого Кея
Aliester
А как жи Смальтольк?
A64m
о нем и речь
Aliester
Симула/Ада не в счёт
A64m
а откуда не Ф РП пошло? Это же Эрик Мейер небось?
Aliester
Это джаваскрипт
Aliester
) 0)00)
A64m
Симула/Ада не в счёт
почему? симула похожа на нынешнее ооп, а смолток-нет
Aliester
Это жи сарказм
A64m
Это джаваскрипт
это не с яваскрипта началось тоже
Aliester
Ну первые реактивные программы ещё на лисах писали
Aliester
Лиспах*
parket
Есть общепринятое название для первых N - 1 элементов массива, где N - length?
Aliester
cdr
Aliester
xs
Aliester
rest
Aragaer
notlast или butlast
parket
init :: [a] -> [a] base Prelude, base Data.List Return all the elements of a list except the last one. The list must be non-empty. Спасибо тебе, добрый человек.
Mikhail
а откуда не Ф РП пошло? Это же Эрик Мейер небось?
Это вроде как из дотнета пошло, там евенты - часть языка и ими невозбранно пользовались
A64m
ну вот как раз Мейер делал такую библиотеку для дотнета довольно давно, но такой подход тогда частью языка не был
Mikhail
Ну популязировали точно там)
Leonid 🦇
ReactiveX потом мейеру элиот в твиттере предъявил за фрп, и тот отмазался что у него рп