p
я понял почему сильные системы типов не пользуются популярностью
Size: a a a
2020 October 29
SP
почему?
p
если ты используешь сильную систему типов ты обязан писать код правильно сразу, иначе он не скомпилируется
EG
Dima
Нужно, очень легко забыться, нахуячить хешмап, а потом офигеть) у меня было
Какое твоё решение?
p
нельзя как в динамике сделать - хуяк хуяк и в прод а потом поправить в случае чего
p
я это в полной мере сейчас ощущаю
EG
Есть проблема: для того, чтобы сериализовывать N типов в M форматов, нужно N*M сериализаторов
p
думаю "да похуй сделаю как нибудь потом исправлю" а раст такой атата ты типы не сможешь свести поэтому иди нахуй, пиши еще 10000 трейтов и 10000 функций чтобы типы ошлись
SP
ну это кстати раздражает
H
если ты используешь сильную систему типов ты обязан писать код правильно сразу, иначе он не скомпилируется
мне на расте легче писать чем на си из-за типов
в си мне библиотека массив байт отдаёт, а как его интерпретировать зависит от переданных аргументов, документация весьма туманная. вот и получается загадка от жака фреско как этот массив байт интерпретировать
в си мне библиотека массив байт отдаёт, а как его интерпретировать зависит от переданных аргументов, документация весьма туманная. вот и получается загадка от жака фреско как этот массив байт интерпретировать
EG
думаю "да похуй сделаю как нибудь потом исправлю" а раст такой атата ты типы не сможешь свести поэтому иди нахуй, пиши еще 10000 трейтов и 10000 функций чтобы типы ошлись
Или раст такой «ататата теоретически этот тип может сломаться, если ты обновишь вон ту депенденси, а инструментов, чтобы сделать нормально у меня нет, поэтому иди нахуй»
SP
причем хочешь запустить отладчик, комментишь даже код, а тебе азаза должен ретунить
p
с одной стороны это круто потому что компилятор говнокод не пропускает, а с другой ты не можешь нахуячить по быстрому, приходиться муторно типы подкатывать
H
начинается гадание на анальных свечах и разгадывание сакральной истины по примерам
H
в расте бы просто в документации увидел типчик и всё
p
причем хочешь запустить отладчик, комментишь даже код, а тебе азаза должен ретунить
unimplemented!()
p
эта проблема решена в расте давно
EG
Есть проблема: для того, чтобы сериализовывать N типов в M форматов, нужно N*M сериализаторов
Серде решает эту проблему. Очевидно, тогда при создании сериализатора ты не можешь учитывать особенности формата, потому что сериализатор универсальный.
Если у тебя есть более хорошее решение этой проблемы — скажи.
Dima
Если у тебя есть более хорошее решение этой проблемы — скажи.
Dima
SP
бля лол вот я слоупок
p
а вот от дырок в типах я бы не отказался