p
Именно так, и новый запрос вернёт значение строго больше предыдущего
Ну и? Чё ты хочешь то?
Size: a a a
2021 February 27
CD
Ну и? Чё ты хочешь то?
Запиши мне это в типах
CD
Что каждое следующее обращение даёт результат больше предыдущего
SP
В программе всегда есть то что проверяет компилятор статически и то что в рантайме проверяется динамически. И даже в статически типизированных языках всегда есть то что не типизируется вообще никак (если это не язык с завтипами и ты не пишешь полностью верифицированную программу). И в статически типизированных языках, особенно популярных, система типов обычно мягко говоря не очень и всё равно приходится держать миллион вещей в голове и писать миллион тестов.
>В программе всегда есть то что проверяет компилятор статически и то что в рантайме проверяется динамически.
в динамическом языке нихуя не проверяется статически. //thread
в динамическом языке нихуя не проверяется статически. //thread
А
ну хорошо я не понимаю в чем проблема. ты как типичный динамист щас делишь мир на черное и белое. в бизнес дата флоу юзаешь фп и типы, а перфоманс тестах используешь грязь. какие проблемы то?
ты как типичный динамист щас делишь мир на черное и белое
ты уже где-то в десятке сообщений поделил весь мир на чёрное и белое
p
В программе всегда есть то что проверяет компилятор статически и то что в рантайме проверяется динамически. И даже в статически типизированных языках всегда есть то что не типизируется вообще никак (если это не язык с завтипами и ты не пишешь полностью верифицированную программу). И в статически типизированных языках, особенно популярных, система типов обычно мягко говоря не очень и всё равно приходится держать миллион вещей в голове и писать миллион тестов.
Не миллион. И да, статика это почти всегда компромисс, а динамика - отсутсвие чего-либо.
А
>В программе всегда есть то что проверяет компилятор статически и то что в рантайме проверяется динамически.
в динамическом языке нихуя не проверяется статически. //thread
в динамическом языке нихуя не проверяется статически. //thread
синтаксис всегда проверяется статически
SP
ты как типичный динамист щас делишь мир на черное и белое
ты уже где-то в десятке сообщений поделил весь мир на чёрное и белое
ну цитируй я тебе обьясню
p
В динамике компилятор только синтаксическую проверку делает
SP
синтаксис всегда проверяется статически
ну охуеть теперь
p
синтаксис всегда проверяется статически
Синтаксис не относится к типам никак
p
Запиши мне это в типах
Зачем?
p
Давай к более продуктивной части переходи
А
Синтаксис не относится к типам никак
ну в динамике можно частично статически типы проверять
А
тот же питон с mypy
SP
ну в динамике можно частично статически типы проверять
т.е. завести в динамику статический язык. я вас поздравляю
p
Давай к более продуктивной части переходи
Как вот это то что ты говоришь относится к глобальным мутабельным переменным в жсе
CD
Зачем?
Потому что я хочу увидеть, как ты осознаешь, что попытка описания реального мира приведёт всю твою логику к катастрофе, а именно свойства возвращаемого значения функции определяются записью последовательности операций
А
т.е. завести в динамику статический язык. я вас поздравляю
и в статические языки завозят динамику
SP
и в статические языки завозят динамику
например?