В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Moscow Python

1133 membersпожаловаться на группу
2021 February 09

➔m

➔◾ maria myznikova... in Moscow Python
Nikolay
Но мы говорим о формальной валидации типов в протоколе. Это вотчина математики и она здесь работает
Да, но тут как повернуть постановку задачи. Если ее свести к модели, которая описывается теорией типов, то ты 100% прав. Но проблематика обмена данными и вообще разработки совершенно точно не сводится в 100% случаев к hott
источник
14:10пожаловаться#1

SZ

Shagit Ziganshin in Moscow Python
Прочитал тред
Сложилось впечатление, что все разговаривали про яблоки, потом @zzz_sochi ворвался с двух ног и начал затирать про мягкое
источник
14:10пожаловаться#2

SZ

Shagit Ziganshin in Moscow Python
Что у кого то там в яндексе чет там работает
источник
14:10пожаловаться#3

SZ

Shagit Ziganshin in Moscow Python
И видимо надо ровняться на них
источник
14:11пожаловаться#4

AZ

Alexander Zelenyak in Moscow Python
Nikolay
Я и не говорил, что просто. Но когда речь идёт о формальных вещах, типа протоколов, преимущество формальных же подходов несомненно
Опять какая-то сомнительная сравнительная оценка. А я вот утверждаю, что человекочитаемость это несомненный плюс. Более несомненный, чем какая-то там типизация.
источник
14:11пожаловаться#5

AZ

Alexander Zelenyak in Moscow Python
Shagit Ziganshin
Прочитал тред
Сложилось впечатление, что все разговаривали про яблоки, потом @zzz_sochi ворвался с двух ног и начал затирать про мягкое
Ты так удивляешься, будто впервые...
источник
14:11пожаловаться#6

S

Sergey in Moscow Python
➔◾ maria myznikova
транспорт это тисипи
Да, всё верно.
источник
14:11пожаловаться#7

SZ

Shagit Ziganshin in Moscow Python
Alexander Zelenyak
Опять какая-то сомнительная сравнительная оценка. А я вот утверждаю, что человекочитаемость это несомненный плюс. Более несомненный, чем какая-то там типизация.
Если человекочитаемость это плюс, то почему ты пользуешься протобафом который тяжело дебажить?
источник
14:11пожаловаться#8

AS

Alexey Starkov in Moscow Python
pragus
А почему, кстати?
хз, была теория что это помогает, но она не подтверждена (ну или я не видел исследований), вот обзор литературы
https://danluu.com/empirical-pl/
источник
14:12пожаловаться#9

N

Nikolay in Moscow Python
➔◾ maria myznikova
Да, но тут как повернуть постановку задачи. Если ее свести к модели, которая описывается теорией типов, то ты 100% прав. Но проблематика обмена данными и вообще разработки совершенно точно не сводится в 100% случаев к hott
Абстрактная в вакууме нет. Но мы говорим, как правило, о конкретном наборе сериализованных типов, с которыми работает наш сервер
источник
14:12пожаловаться#10

AZ

Alexander Zelenyak in Moscow Python
Shagit Ziganshin
Если человекочитаемость это плюс, то почему ты пользуешься протобафом который тяжело дебажить?
Потому что у типизации тоже есть свои плюсы.
И да, там выше произошло чуток троллинга.   🙂
источник
14:12пожаловаться#11

p

pragus in Moscow Python
Sergey
Это странный вопрос. Почитайте, чем занимаются протоколы транспортного уровня. Протоколы транспортного уровня управляют потоком данных, http нет.
А что подразумевается под "управляют потоком данных"?
источник
14:12пожаловаться#12

N

Nikolay in Moscow Python
Alexander Zelenyak
Опять какая-то сомнительная сравнительная оценка. А я вот утверждаю, что человекочитаемость это несомненный плюс. Более несомненный, чем какая-то там типизация.
Ну и ты неправ, сорри. Я выше объяснил, почему
источник
14:12пожаловаться#13

AZ

Alexander Zelenyak in Moscow Python
Nikolay
Ну и ты неправ, сорри. Я выше объяснил, почему
Ну и ты неправ, сорри. Я выше объяснил, почему.
источник
14:12пожаловаться#14

SZ

Shagit Ziganshin in Moscow Python
Alexander Zelenyak
Потому что у типизации тоже есть свои плюсы.
И да, там выше произошло чуток троллинга.   🙂
Там не было троллинга, скорее обливание грязью
источник
14:13пожаловаться#15

➔m

➔◾ maria myznikova... in Moscow Python
Nikolay
Абстрактная в вакууме нет. Но мы говорим, как правило, о конкретном наборе сериализованных типов, с которыми работает наш сервер
Но с ним работает не только сервер, а еще и люди. И как минимумим, в нашу модель — модель твоих оппонентов — включается, условно, большой элемент проектного менеджмента — “как получить результат за ограниченное время ограниченными ресурсами, чтобы жопу не взорвало”. Это уже не описывается теорией типов
источник
14:13пожаловаться#16

AZ

Alexander Zelenyak in Moscow Python
Shagit Ziganshin
Там не было троллинга, скорее обливание грязью
Не, вот это не правда.
источник
14:13пожаловаться#17

➔m

➔◾ maria myznikova... in Moscow Python
➔◾ maria myznikova
Но с ним работает не только сервер, а еще и люди. И как минимумим, в нашу модель — модель твоих оппонентов — включается, условно, большой элемент проектного менеджмента — “как получить результат за ограниченное время ограниченными ресурсами, чтобы жопу не взорвало”. Это уже не описывается теорией типов
…и во многом субъективно.
источник
14:13пожаловаться#18

N

Nikolay in Moscow Python
Alexander Zelenyak
Ну и ты неправ, сорри. Я выше объяснил, почему.
Нет, не объяснил. Разве что ты собираешься спорить с правилами вывода на основе аксиом - но лучше не стоит, правда
источник
14:13пожаловаться#19

SZ

Shagit Ziganshin in Moscow Python
Alexander Zelenyak
Не, вот это не правда.
Как я вижу, идет общение, ты врываешься с двух ног и говоришь что мы делаем все не правильно надо вот так
источник
14:13пожаловаться#20