p
Http описывает какие именно данные идут в потоке и это application level.
Где именно он описывает?
Size: a a a
2021 February 09
SZ
Почему? Потому! Потому что в яндексе
SZ
@zzz_sochi это не так работает
p
Как я вижу, идет общение, ты врываешься с двух ног и говоришь что мы делаем все не правильно надо вот так
N
Но с ним работает не только сервер, а еще и люди. И как минимумим, в нашу модель — модель твоих оппонентов — включается, условно, большой элемент проектного менеджмента — “как получить результат за ограниченное время ограниченными ресурсами, чтобы жопу не взорвало”. Это уже не описывается теорией типов
Это уже совсем другая история. Но если говорить технически о протоколе - ежу понятно, что строгий вывод типов важнее, чем человекочитаемость. Это не вопрос веры, колокольни или чего-то ещё, это основы принципов работы математики и логики
AZ
Как я вижу, идет общение, ты врываешься с двух ног и говоришь что мы делаем все не правильно надо вот так
Как-то ты очень однобоко видишь. Я вот вижу, что пришёл Коля и начал снова гнуть свою линию, очень далёкую от реальности. Кстати, ворвался-то даже скорее не я, а он — я лишь обосрал сбербанк (за дело).
AS
Ещё один человек, который не понимает, как работает математика и что там нет места вере
аксиомы чем доказываются, ну, это по определению вера, можно целую систему сделать на произвольных аксиомах
➔m
Это уже совсем другая история. Но если говорить технически о протоколе - ежу понятно, что строгий вывод типов важнее, чем человекочитаемость. Это не вопрос веры, колокольни или чего-то ещё, это основы принципов работы математики и логики
А почему говорить технически о протоколе с точки зрения реализации проекта более важно, чем говорить о разработке как о процессе для разработчиков, например?
SZ
Как-то ты очень однобоко видишь. Я вот вижу, что пришёл Коля и начал снова гнуть свою линию, очень далёкую от реальности. Кстати, ворвался-то даже скорее не я, а он — я лишь обосрал сбербанк (за дело).
> начал снова гнуть свою линию
А ты не начал?
А ты не начал?
SZ
А почему говорить технически о протоколе с точки зрения реализации проекта более важно, чем говорить о разработке как о процессе для разработчиков, например?
Потому что протокол один и надолго, разработчик в среднем на полтора года
N
аксиомы чем доказываются, ну, это по определению вера, можно целую систему сделать на произвольных аксиомах
Можно, сделай. Я потому и говорил - в рамках аксиом оно так. Как оно там у Саши - не знаю
AZ
> начал снова гнуть свою линию
А ты не начал?
А ты не начал?
Я придерживаюсь умеренных взглядов. Коля — радикальных.
Кажется, что я лишь пытаюсь разогнуть согнутое.
Кажется, что я лишь пытаюсь разогнуть согнутое.
S
А что подразумевается под "управляют потоком данных"?
В Гугле забанили? )) Управление чанками пакетов, гарантия их доставки, это всё называется протоколами транспортного уровеня. В названии протокола http явно указано то, чем он управляет 🙂
SZ
Я придерживаюсь умеренных взглядов. Коля — радикальных.
Кажется, что я лишь пытаюсь разогнуть согнутое.
Кажется, что я лишь пытаюсь разогнуть согнутое.
Каких еще умереных взглядов
SZ
Я уже показал тебе противоречие в твоих показаниях
➔m
Потому что протокол один и надолго, разработчик в среднем на полтора года
Ну я вообще тоже считаю, что надо везде монады напихать, конечно. Но говорить, что это научно доказано — ненаучно
AZ
Я уже показал тебе противоречие в твоих показаниях
Я пропустил, видимо.
SZ
Ну я вообще тоже считаю, что надо везде монады напихать, конечно. Но говорить, что это научно доказано — ненаучно
Что не доказано научно?
SZ
Теория типов?
AS
Теория типов?
что монады помогают