Я пока в процессе отдыха
На тебя Сочи действует как Воркута?
Ilya
Ilya
На грани экзистенциального кризиса?
Vasily
Ilya
Странное место, вроде f# это когда ты лицом по клавиатуре ездишь и всё само работает. А в чате вместо добродушных хипстеров - злобные токсики 🤔
Sergey
может пора илью в понв отправить?
EgorBo
понв?
EgorBo
а что это?
Андрей
Я не уверен, что зав. типы нужны в энтерпрайзе. Refined types или как их там были бы полезны
очень легко утверждать, что фича X не нужна в тырпрайзе, пока она не становится мейнстримом. с удовольствием заюзал где бы то ни было )
Roman
Странное место, вроде f# это когда ты лицом по клавиатуре ездишь и всё само работает. А в чате вместо добродушных хипстеров - злобные токсики 🤔
ты че пес, щас тебе банхаммером гвоздь свободы промеж глаз вобьем! Где ты токсиков нашел?
Roman
очень легко утверждать, что фича X не нужна в тырпрайзе, пока она не становится мейнстримом. с удовольствием заюзал где бы то ни было )
Ну, я послушал прост доклад Брагилевского про них, и он меня заставил задуматься. Раньше я тоже был за них двумя руками
EgorBo
шутки шутками, а я давно заметил корреляцию между фп и токсичностью -_-
EgorBo
*прямую
Hog
шутки шутками, а я давно заметил корреляцию между фп и токсичностью -_-
Корелейшон не означает причины
Ilya
шутки шутками, а я давно заметил корреляцию между фп и токсичностью -_-
Это потому что у них вот такие клавы
Ilya
Mikhαil
А не фп
Mikhαil
EgorBo
ну или как сергей говорит С++
Vagif
шутки шутками, а я давно заметил корреляцию между фп и токсичностью -_-
Это потому что настоящие токсики работают на результат, они не тратятся на сайд-эффекты. Вот и получается ФП, притом чистое.
Anatoly
Vagif
А нынешний C++ за ФП топит и против ООП.
https://www.youtube.com/watch?v=pH-q2m5sb04
Ilya
А нынешний C++ за ФП топит и против ООП.
https://www.youtube.com/watch?v=pH-q2m5sb04
@EgorBo походу тебе опять переобуваться
Vagif
Нэш там в докладе агитирует за иммутабельность и монадические вычисления.
Ilya
Ты скоро как репер будешь - с коллекцией кроссовок
Sergey
https://www.opennet.ru/opennews/art.shtml?num=54063
Igor
Igor
теперь не только у Айрата))
Roman
@med_igor а как с фп в 1С кстати?
Ilya
https://www.opennet.ru/opennews/art.shtml?num=54063
Какая то странная хрень, они создали правила, чтобы другие им следовали, но сами делать ничего не будут🤔
Romɑn
ахаха, насмешил, там и ООП не успели завести
Да нет, я же слышал, что там словарь регистров сущностей есть
Romɑn
Чем не объекты?
Igor
ну их хоть и называют объекты, произвольные объекты нельзя делать. Вообще не ООП это
Roman
стало быть, 1с эт процедурщина?
Igor
конечно
Igor
еще и интерпретатор
Igor
с подсчетом ссылок на объекты и с утечками памяти
Roman
ей богу уж лучше с замарином трахаться
Doge
Я не уверен, что зав. типы нужны в энтерпрайзе. Refined types или как их там были бы полезны
Они просто сильно облегчают кучу advanced вещей в типах, даже если их для пруфов не использовать
Roman
Doge
Там где сейчас полное безумие на type families или там каких-нибудь associated типах - там просто функция в типах
Ayrat
ну или вообще непустая коллекция
Ayrat
сейчас для этого надо ОТДЕЛЬНЫЙ тип заводить
Ayrat
ну или даже непустая строка
Самая популярная проверка - IsNullOrEmpty
Ayrat
Null допустим мы можем на уровне типов отсечь
Ayrat
а Empty нет
Ayrat
ну только если не найдутся ебанутые которые свою строку предложат
Ayrat
люди не юзают шейплесс магию
Ayrat
поэтому им не продать то, что зав типы упрощают то, что они не юзают
Roman
Да, пока Айрат более близкими понятиями оперирует)
Doge
люди не юзают шейплесс магию
Смотря где. В скале используют, в хаскеле используют, даже в расте ещё дофига и больше
Ayrat
Типа
- смотри какой инструмент! с ним вставлять в жопу елдак намного проще!
- а зачем ты вставляешь в жопу елдак?
Doge
Типа
- смотри какой инструмент! с ним вставлять в жопу елдак намного проще!
- а зачем ты вставляешь в жопу елдак?
Чтобы писать zero-cost сериализацию без макросов, рефлексии, кодогенерации и т.п.
Ayrat
Чтобы писать zero-cost сериализацию без макросов, рефлексии, кодогенерации и т.п.
во, уже ближе к нам, смертным
Ayrat
но без примеров - до / после всё равно неясно
Ayrat
с непустой коллекцией всё понятно
Ayrat
мы сможем написать
IEnumerable<T where (T.Count > 1)>
Ayrat
(синтаксис я придумал)
Ayrat
и это будет чекаться на уровне типов, уходить в датафлоу анализ
Ayrat
и вообще будет збс
Sergey
кто там рассказывал как упрощает валидацию объектиков для крудоделов?
Igor
Чтобы писать zero-cost сериализацию без макросов, рефлексии, кодогенерации и т.п.
А зачем? Вроде и так все норм и быстро работает