A64m
неплохо
Denis
там теги это что вообще?
Denis
> Писал на java с 2016 года. Статическая типизация практически разрушила его жизнь. Оставила на улице. Сделала несчастным.
На этих дебатах расскажет о подводных камнях статической типизации, почему хаскель не нужен и как javascript спас его жизнь.
Denis
🤦♂️
A64m
cbor же можно без каких-то внешних данных разбирать
Aragaer
чот "аж с целого 16-го года" это прям многолетний стаж
A64m
за сколько же ява его разрушить успела?
A64m
чему эта ваша ява равна в крокодиловом эквиваленте?
Aragaer
"С 2016-го писал на жаве, там очень сложно. Начал жаваскрипт, там все просто и платят больше"
Aragaer
вот наверно так правильнее
Aragaer
там не сказано, в каком году он школу заканчивает?
Vitaly
А в чём смысл таких дебатов? Всё равно же все при своих останутся
Alexander
нет смысла, разумеется.
Denis
никакого смысла нет
Denis
а слушать скорее всего больно
Alexander
где-то была картинка с диаграммами Венна о том, насколько спорящие люди шарят в типах.
Denis
о, а есть ссылка? Я её отлично представляю, но так у меня будет готовая картинка.
Alexander
щас попробую найти
Alexander
https://ro-che.info/ccc/images/typing.png
Denis
о, это Ромина даже
Denis
спасибо
Cheese
Arseniy
Хорошая идея, спасибо.
Denis
хахаха
Leonid 🦇
@qnikst а фпрог вёл в прошлый раз Игнат же, нет?
Alexander
вроде да
Alexander
прекрасное описание
Alexander
понятна вся суть того, что будет
Yura
там теги это что вообще?
int-ы которыми помечены 5 (AFAIR) стандартных типов, и ты можешь сам добавлять пользовательские. Например, перед сериализованным ADT положить
Denis
у меня по сути куча вложенных рекордов, где внутри много строкоподобных данных и всякие массивчики
Denis
склоняюсь к store, когда руки дойдут
Alexander
ну каждый рекорд будет говорить "йа-рекорд" т.е. помимо самих данных там будет какое-то количество метаданных
Alexander
обычно их обзывают теги
Alexander
в store такое может быть частично исключить
Anatolii
Alexander
должно быть где-то
Алексей
В CBOR типы сериализуются как списки [N конструктора, поля конструктора]
Alexander
записывали
Alexander
@PineappleZombie там же ещё теги для полей, типа интеджер это или что ещё?
Алексей
Ещё байт на тег типа, и мелкие инты упаковывают вроде
Alexander
угу
Yura
там на даты теги
Yura
В CBOR типы сериализуются как списки [N конструктора, поля конструктора]
там ADT сериализуется как list
Alexander
S-Exp же тройка, тег, метаданные, данные?
Yura
т.е. tag, list length, el1, el2, ... , elN
Alexander
во всяком случае в R так
Alexander
а R вроде наследник S
Yura
при этом если ты пишешь свои функции serialize/deserialize, то теги и списки можно убрать
Yura
cbor от этого malformed не станет
Alexander
вот кстати мне нравится про dynamic vs static
Alexander
обычно апологеты dynamic прыгают со словами "вредно, не нужно, плохо и т.п."
Alexander
в то время как static - ну если вам прям так хочется - то можете реализовать так; без типов сложно на кодобазах такого размера; профиты - такие
Alexander
без всяких ненатягивающихся на ситуацию аналогий
Алексей
Это же типы никуда не натягиваются
Alexander
это-то понятно и вне обсуждения
Alexander
но аналогии то тоже могут не натягиваться
Alexander
вообще, @lonokhov а ты можешь нарисовать картинку с "типы не натягиваются"? А то мем есть, а картинки нету
Leonid 🦇
Ну я же не художник :(
Aliester
натянули типов
Антон
Алексей
Просто когда аналогии рвутся это не так заметно
Alexander
!!!!!!
Алексей
Alexander
http://www.paintalifestyle.ca/wp-content/uploads/2011/09/882709029748.jpg
Alexander
он вообще из адекватной части fprog_spb, которые рядом с jet brains и coq
Алексей
О сколько нам открытий чудных готовит запуск бенчмарков. Откуда берутся 20х тормоза?
Alexander
я их очень уважаю
Alexander
откуда угодно
Алексей
Опять в корку лезть
Alexander
вот эти хаскелисты, они вообще в нетипизированный stg лезут когда проблемы разгребают
Alexander
что явно говорит о том, что типы не нужны