Ю ли я? 🤔
Имплементация data с единственным строгим полем как-нибудь отличается от newtype?
Aleksei (astynax)
Да, отличается
Aleksei (astynax)
newtype будет выкинут компилятором
Aleksei (astynax)
т.е. не будет заворачивания-разворачивания
Aleksei (astynax)
К тому же мы уже тут натыкались на то, что парсер на newtype работает, а на энергичном data - нет
Ю ли я? 🤔
То есть даже в энергичном data будет лишний боксинг?
Aleksei (astynax)
конечно
Cheese
даже в анпакнутом будет лишний конструктор, подозреваю
Alexander
test?
Alexander
A64m
Alexander
в смысле что указатель будет
Alexander
data X = X {-# UNPACK #-} !Y тут будет заколовок, но не будет indirection
Leonid 🦇
ping
parket
pong
parket
Опа, телега ожил.
Aliester
потому что у нее Хаскеля нет
Aliester
а все падает почему
Alexander
обратное польское цитирование
Alexander
почему это?
ну объектный кусок со ссылками на инфотейлбы то будет?
Alexander
это не боксинг конечно
A64m
будет, но без индирекшона это не боксинг
A64m
то что полный эквивалент ньютайпа не сделать так - это, естественно, правильно было сказано
Alexander
ну я вроде так писал выше
Alexander
Prelude GHC.HeapView> getClosureRaw x
(0x00007fc848b3d0c0,[140498189930704,283479762992],[0x0000004200b5e830])
Prelude GHC.HeapView> getClosureRaw y
(0x00007fc840dc71e8,[140498058375672,42],[])
Alexander
что обёртка будет а индирекшена не будет
Alexander
правда телеграм отдыхал, может не отправилось
Alexander
из одного поста:
> Interestingly, Go, the language that is closest to the original UNIX philosophy, encourages handling network connections this way, but is still features a select{} statement.
Alexander
так то!
Alexander
не то что ваши хаскели
Евгений
Кривовато обновили, лул
Евгений
Я, конечно, бывает роняю при обновлении продакшон, но не настолько
Leonid 🦇
Дуров сказал что электричество в датацентре пропало
Leonid 🦇
Врёт поди
Крылатый
СОРМ ставили, инфа 100%
Leonid 🦇
Ну и ладно, хоть чатик искать не надо будет
A64m
на Лубянке (где и находится датацентр телеги) просто проводили противопожарные учения и отключали электричество
Крылатый
Типичный Дуров.
Евгений
Ну вообще телеграм последнее время нагибается под нагрузкой
Евгений
За последние три недели это уже второй раз
Leonid 🦇
На пхп написан поди
Roman
типичный хаскель канал
Aliester
Denis
угу, с unbox-strict-fields будет один конструктор для самого типа
Leonid 🦇
Leonid 🦇
Чё, ребзя, кто в биокад пойдёт завтра на @bravit111?
Влод
на самом деле тема кажется какой-то размытой
Влод
но в принципе чё б не сходить
Alexander
Alexander
Leonid 🦇
@qnikst а в ПОМИ РАН? 3 вечера с @bravit111!
Alexander
типа того
Alexander
да в ПОМИ еду
Alexander
а с биокадавцами надо познакомиться, а то биокад есть а я никого оттуда не знаю
Alexander
или не знаю что знаю
Leonid 🦇
А в Пассаже помещение снимают или офис прямо там? Чёт больно круто для офиса
Alexander
блин чего-то у меня такое желание переписать бойлерплейта кучу на TH
Vitaly
Leonid 🦇
Богатая контора
Alexander
хм.. может им консультанты нужны
Leonid 🦇
переписать кучу TH бойлерплейта на CPP
Denis
cosmic-mind.jpg
Alexander
ну там простой TH, в общем-то даже на CPP можно
Alexander
Cheese
в аттопарсеке можно как-то посчитать, сколько байтов съел парсер?
там есть match, но весь инпут возвращает, я подозреваю, что смещение можно посчитать как-то более эффективно
Denis
да, плохо так..
в таком общении сразу проецируешь на тот момент, когда деньги будут должны и представляешь как будет
Denis
коллекторство - самая невеселая и сложная часть любой консалтерской деятельности ибо
Denis
Alexander
мне тоже казалось, но что-то не вижу
Alexander
в IResult ничего нету, например про это
Alexander
если запускаешь этот IResult то можно самому считать
Denis
там внутри Parser есть Pos
Denis
если написать комбинатор, который его вернет и отмотает континьюэйшен назад, то будет как раз то что надо