Leonid 🦇
пролог буран сажал, а на ваши опердени не ложится!
Антон
пролог буран сажал, а на ваши опердени не ложится!
Кстати, а чо "опредени" значит? А то видел столько раз и не знаю
Anonymous
На него неплохо ляжет задача написания компилятора (type inference, например), только вот полная динамическая типизация всё будет портить
A64m
старший научный сотрудник лаборатории разработки бекенда
заведующий лаборатории разработки бекенда
Anonymous
Операционный день
Leonid 🦇
Кстати, а чо "опредени" значит? А то видел столько раз и не знаю
"операционный день", ERP в общем
Leonid 🦇
круды всякие. и прочая вебня
Alexander
пролог буран сажал, а на ваши опердени не ложится!
Ура! Я когда-то студентам про это рассказывал. Но с тех пор сомневался, а так ли это, может, я им врал
A64m
можно и дельше сомневаться
Cheese
Alexander
Можно считать, что все сайты туда относятся, всякие клиент-серверные приложения и прочее.
Dmitry
типичное приложение для оперирования типичными бизнес-данными
Это такое приложение, в котором очень много всяких мелочей, приходится пилить кучей программистов (и полной схемы работы нет ни у кого в голове), и "чистую математику" аля Хаскель так просто на это дело не натянешь. В результате, программирование оперденей - это 60% внесение на обсуждение, 70% на сопровождение и оставшиеся 16% - на создание чего-то нового
Alexander
60 + 70 + 16
Что-то с процентами не так
Dmitry
И формочки, формочки, формочки с отчётами, тысячи их!
Dmitry
Да не, всё так. 146%
Alexander
А, я уж забыл про этот мем
Aliester
хуже это если ты пилишь бизнес ниды на вчера три месяца
Aliester
все успеваешь
Aliester
а потом этим не пользуются, а разработку за полгода закрывают за ненужность
Aliester
при том что менеджер и овнер божились что все очень нужно и прямо на вчера
Alexander
I know that feel, bro
Alexander
На самом деле, пилится огромное количество никому не нужной фигни.
Aliester
распил бабла, че
Alexander
Чаще глупость, как мне кажется.
Andrei
60 + 70 + 16
Что-то с процентами не так
всё так
“первые 90% времени делается 90% функциональности проекта, остальные 10% делаются вторые 90% времени”
Aliester
Leonid 🦇
а потом этим не пользуются, а разработку за полгода закрывают за ненужность
не забудим не простим
кана
Можно пример? А то программирование на Прологе сводится к "угадай, как устроен планировщик запросов, чтобы задача побыстрее решалась"
кана
тут второй инстанс не подходит под фун-зависимости, поэтому добавил UndecibInstance, но тут чет наверное можно сделать
кана
я все думаю пролог изучить ради головоломки
A64m
был же пейпер про функциональные зависимости с примерами кода на прологе
A64m
но хаскельный тайплевелный пролог - сильно урезаный пролог
Alexander
чета в твиттере не отвечают ничего
Anonymous
Выдохся человек, видимо. Не может так долго подряд ненавидеть ФП.
Где он в Котлине-то ФП нашёл?
Andrei
Anonymous
Вообще, да, конечно, но что с ним будет, если ему катаморфизм показать?
кана
ну там же типа адт есть, закрытое множество значений с открытым множеством функций вместо ооп - закрытого множества функций с открытым множеством значений
кана
котлин не знаю, @dkltd
Антон
но хаскельный тайплевелный пролог - сильно урезаный пролог
Кстати, пролог на типах и в Rust пилят: https://github.com/rust-lang-nursery/chalk
Alexander
чета мне порнавилось coerce использовать
Alexander
Anonymous
А. А о чём он сегодня будет-то?
Vitaly
так неинтересно никому, не бэкенд же
Alexander
универы программистам не нужны
Alexander
или все согласны
Anonymous
https://github.com/oden-lang - для го пилили
кана
https://github.com/SimonRichardson/wishful/blob/master/useful/cofree.go
Alexander
Выдохся человек, видимо. Не может так долго подряд ненавидеть ФП.
Где он в Котлине-то ФП нашёл?
А где его нашли создатели Котлина? И их евангелист Филипп Торчинский? Может, они просто к тренду примазаться хотят?
Я как-то на конфе у Филиппа спросил, привносит ли Котлин свои идеи, как, например, это делает Скала. Он ответил, что на Котлине проще DSL писать, потому что функции. Но как по мне, это все нужно со скепсисом воспринимать
Anonymous
Едет Any через Any.
Anonymous
Я не думаю, что гошный оптимизатор расчитан на такой код.
parket
Alexander
... Any. Any Any error=nil
Alexander
error=Any..
Anonymous
+5
Alexander
не знаю
Leonid 🦇
БЖД один из самых полезных предметов в вузе, имхо
Дмитрий
Может кто подскажет?
Дмитрий
Ситуация такая, есть ноды, я их конекчу через веб сокет.
Дмитрий
Когда рвётся соединение, по идеи нода должна освобожать сокет, но этого почему-то не происходит.
Влод
Дмитрий
В netstat висит целая куча не закрытых. Хотя я точно уверен, что моё app закончилось.
Alexander
@al_lastor вроде адекватное дело это слать пинги самому
Alexander
встроееные вечно не работают
Alexander
а tcp может полчаса закрываться
Alexander
ему можно
Leonid 🦇
БЖД один из самых полезных предметов в вузе, имхо
https://twitter.com/backendsecret/status/969219958331904000?s=19
Дмитрий
встроееные вечно не работают
Я шлю сообщение, "рву с тобой", нода получает его и вроде бы закрывает сокет, но он нифига не закрывается.
A64m
не помню бжд, может у меня еще не было ее?
Дмитрий
что ещё я должен сделать с сокетом кроме close?
Kirill
Я шлю сообщение, "рву с тобой", нода получает его и вроде бы закрывает сокет, но он нифига не закрывается.
а 2-я сторона принимает это сообщение и делает close?
Leonid 🦇
не помню бжд, может у меня еще не было ее?
Не наступать на провода, трёхфазная сеть опаснее ибо бьёт углом. не пить метиловый спирт. отравился - пей и блюй пока скоряк не приедет.
Alexander
Не наступать на провода, трёхфазная сеть опаснее ибо бьёт углом. не пить метиловый спирт. отравился - пей и блюй пока скоряк не приедет.
Вот лучше бы методы оказания первой неотложной помощи давали.