Как верифицировать данные в ЯП с динамической типизацией?

Проблема даже скорее не в том, что во время разработки я могу накосячить, не поняв, что мне функция вернула. Тут я себя поправлю, перепроверю и напишу правильно. Проблема больше в говнокоде, наверное, который хочется зарефакторить, а из-за отсутствия информации о типах лишний раз страшно пёрднуть.

Покрывать данные спеками?

А вот в пыхе, насколько я понимаю, не завезли.

в 7мую завезли вроде как раз

Добавь информацию о типах. Изначально их можно нагенерить автоматически с помощью monkeytype.

На n-ный год Зоркий Глаз заметил?.. Страдай теперь, раз заметил)

Как верифицировать данные

<пост вообще не про это>

Неправильно ты, дядя Федор, скор фармишь. Если будешь часто писать, скорее в минус уйдешь.

python

message: str = 'hello world'
count: int = 0

напиши модуль на C

python

Ну это тайпхинты, я про них писал.

А вот в пыхе, насколько я понимаю, не завезли. Вобщем, подскажите, как с этим жить?

Фэйсбук ыж избрёл пых со статической типизацией.

А вообще никак, обмазываться тестами и страдать. И, по-возможности, писать на чём-то более статическом.

Фэйсбук ыж избрёл пых со статической типизацией.

А это изобретение доступно для простых разработчиков?

Hack. Не могу сказать насколько сильно отличается от PHP, не тыкал.

Hack. Не могу сказать насколько сильно отличается от PHP, не тыкал.

Выглядит замечательно. Прямо то, что нужно. И даже совсем недавно выпущена свежая версия. Но почему-то в русскоязычном сегменте (в т.ч. википедии) ничего про неё нет, а про поддержку этого ЯП в перспективе со стороны, например, PhpStorm писали в 2015 году и... как я понял, всё заглохло, и текущая версия не знает что за расширение *.hack такое.

А вот в пыхе, насколько я понимаю, не завезли

Т.е. ты вообще не в курсе положения дел. Нафига тогда припёрся со своими «ценными» рассуждениями?

Юниттесты. Хотя всё равно баги будут.

А вот в пыхе

Как вообще на этом можно без слёз программировать в 2019?
Это даже хуже пистона.

Ну а вообще, в динамических языках проверку типов нужно делать во время выполнения. В PHP есть gettype и её дочки.

Для проверки сложных типов, делай свои функции вида:

    function checkMyStruct($var)
    {
        $res = 0;
        if (is_array($var)) {
          if (is_string($var)) $res = 1
          else $res = -2;
        } else $res = -1;
        return $res;
    }

mypy, pyre-check

В динамическом языке не принято проверять тип на каждый чих. Если тебе надо, чтобы было итерируемо — проверяй итерируемость. Какой именно класс, в целом, тебе должно быть всё равно.

Так в тегах python и в нём есть решение. Используй везде typehint’ы, а потом уже можно немного рефакторить.

Нет глазок нет мультиков. Тесты нужны даже в статике. Выделит бюджет, не выделит... Проблема заказчика. Хочет надежно - получит с тестами... Я сейчас просто так тесты пишу... Чтоб самому удостоверится что все пашет (хоть и пишу через 1 место)

Я сейчас просто так тесты пишу... Чтоб самому удостоверится что все пашет (хоть и пишу через 1 место)

TDD или постфактум? На чём пишешь, насколько % (примерно) покрытие? Как тесты гоняются? Насколько это помогает?

Я помню, лет десять назад, в одной конторе работал, там очень хорошо было в плане тестов всё организовано. Каждый писал для своего кода тесты (NUnit). Затем можно было их локально прогнать. После коммита в репу (svn), гонялись они ещё и на сервере. Кроме быстрых тестов, были ещё медленные, которые чисто физически невозможно было часто гонять - они гонялись по расписанию. Если закоммитил что-то, не потестив, и билд не собрался или собрался, но валится в тестах - сразу видно, кто виноват, и кому по шапке надавать (хотя, реально по шапке никто не получал, потому что на удивление адекватные люди собрались в конторе, и просто виноватый (или тимлид) откатывал коммит). Ну а если валились долгие тесты, то там уже шёл разбор полётов, на чьём поприще ошибки появились. Было круто.

Да от балды гоняю. Тесто обычно пишу как я буду юзать код. А потом пишу код. срезать углы всегда хочется и в итоге юзать его будет неудобно. А тут вроде как тест есть - пиши.

А с долгими тестами да... Я aiohttp так нашел баг. 2 месяца пробивал его потому, что на обычном тесте его не поймать...