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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Moscow Python

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

AS

Alexey Starkov in Moscow Python
Nikolay
Тут не вопрос согласия :) это просто некорректно. Типизация тебе обеспечивает корректность, а люди... Люди тупые и читать не умеют
"типизация обеспечивает корректность" это аксиома, ничем особо не доказанная, вон я выше привел пример как можно json произвольный засовывать просто в grpc строку "чтобы гибко" и как спасает тут типизация?
источник
13:53пожаловаться#1

S

Sergey in Moscow Python
pragus
Не вычитали, а головой думать умеем.
Давайте тогда подумаем, откуда же взялся http и зачем его придумали. Мм..?
источник
13:54пожаловаться#2

AS

Alexey Starkov in Moscow Python
Alexander Zelenyak
Вторая "t"?
я тоже так подумал, но там transfer
источник
13:54пожаловаться#3

S

Sergey in Moscow Python
Alexander Zelenyak
Вторая "t"?
?
источник
13:54пожаловаться#4

N

Nikolay in Moscow Python
Alexander Zelenyak
Конечно некорректно. С твоей колокольни. А с моей очень даже корректно. Я ж не теоретик.
Ты не понял. Это не вопрос колокольни. Типизация работает, это факт, математический. Люди тупят и ошибаются - это тоже факт. Наличие строгих типов обеспечивает однозначность интерпретации, человекочитаемость - нет. Это научный факт
источник
13:55пожаловаться#5

N

Nikolay in Moscow Python
Разумеется, её надо нормально сделать, но у неё неоспоримые преимущества
источник
13:55пожаловаться#6

AZ

Alexander Zelenyak in Moscow Python
Блин, вот с Яндексоидами прямо пример из реальной жизни! Мы вводили в протокол считай что "any". Потому что надо было. Прямо в grpc2, да.
"Типобезопастность"? "Некорректно"? Надо решить задачу и мы её решали. Всё. Точка. Надо, значит надо. И похуй на типы.
источник
13:55пожаловаться#7

N

Nikolay in Moscow Python
Alexey Starkov
"типизация обеспечивает корректность" это аксиома, ничем особо не доказанная, вон я выше привел пример как можно json произвольный засовывать просто в grpc строку "чтобы гибко" и как спасает тут типизация?
Это вещь, изучаемая теорией типов
источник
13:55пожаловаться#8

AZ

Alexander Zelenyak in Moscow Python
Nikolay
Ты не понял. Это не вопрос колокольни. Типизация работает, это факт, математический. Люди тупят и ошибаются - это тоже факт. Наличие строгих типов обеспечивает однозначность интерпретации, человекочитаемость - нет. Это научный факт
Это вопрос твоей колокольни. Не более того. Реальная жизнь часто отличается от математики.
источник
13:55пожаловаться#9

N

Nikolay in Moscow Python
Alexander Zelenyak
Это вопрос твоей колокольни. Не более того. Реальная жизнь часто отличается от математики.
Это уже толстый троллинг, я даже не буду всерьез комментировать)
источник
13:56пожаловаться#10

AS

Alexey Starkov in Moscow Python
➔◾ maria myznikova
Спасибо за объяснение. Т.е. выбор подхода к сериализации ответа тоже получается протоколом?
непони немножко, по идее если есть протокол то он явно задает способ сериализации, не стоит разве что принимать по одному протоколу а ответ отдавать по другому :)
источник
13:56пожаловаться#11

AZ

Alexander Zelenyak in Moscow Python
Nikolay
Это уже толстый троллинг, я даже не буду всерьез комментировать)
Нет, Коль, это не троллинг. Это, ещё раз повторю, реальная жизнь, а не какие-то там книжки.
источник
13:57пожаловаться#12

AS

Alexey Starkov in Moscow Python
Nikolay
Это вещь, изучаемая теорией типов
эта гипотеза фальсифицируема?
источник
13:57пожаловаться#13

S

Sergey in Moscow Python
pragus
Не вычитали, а головой думать умеем.
Я хлебушек, я не думаю, я смотрю rfc.
источник
13:58пожаловаться#14

p

pragus in Moscow Python
Sergey
Давайте тогда подумаем, откуда же взялся http и зачем его придумали. Мм..?
А какое это имеет значение? Вот есть у нас json-rpc или какой-нибудь сервис в который мы посылаем json(или любой другой формат сериализации) и отвечает он нам нем же. Тут http выступает именно как транспорт
источник
13:59пожаловаться#15

N

Nikolay in Moscow Python
Alexander Zelenyak
Нет, Коль, это не троллинг. Это, ещё раз повторю, реальная жизнь, а не какие-то там книжки.
Нет, это троллинг, я ни на секунду не верю, что ты всерьёз :) в реальности корректность обеспечивается математикой, точка. Если сравнивать корректность вывода между человеком и компьютером - компьютер однозначно побеждает
источник
13:59пожаловаться#16

AZ

Alexander Zelenyak in Moscow Python
Интересный факт, что если бы типобезопасность была бы важна, то не было бы жысона поверх хттп. Но он есть и крайне расспространён.
источник
13:59пожаловаться#17

N

Nikolay in Moscow Python
Alexey Starkov
эта гипотеза фальсифицируема?
В рамках аксиом математики да
источник
13:59пожаловаться#18

N

Nikolay in Moscow Python
Alexander Zelenyak
Интересный факт, что если бы типобезопасность была бы важна, то не было бы жысона поверх хттп. Но он есть и крайне расспространён.
И он говно
источник
13:59пожаловаться#19

AZ

Alexander Zelenyak in Moscow Python
Слепая вера в математику это всё ещё слепая вера.
источник
13:59пожаловаться#20