CD
Мне кажется или мы говорим друг о другу о несколько разных вещах?
ну твой тезис, что компилятор должен что-то проверять, чтобы в прод не ушёл полный мусор
Size: a a a
2021 March 16
W
ну твой тезис, что компилятор должен что-то проверять, чтобы в прод не ушёл полный мусор
Чтобы в прод не ушол синтаксически и семантически полный мусор.
От логических фейлов он естевственно не защитит.
От логических фейлов он естевственно не защитит.
CD
Чтобы в прод не ушол синтаксически и семантически полный мусор.
От логических фейлов он естевственно не защитит.
От логических фейлов он естевственно не защитит.
никакая система типов тебе не гарантирует, что происходящее это не семантически полный мусор
CD
твой код может ничего не делать на всех реальных данных в полном соответствии со спецификацией
p
не тебя... код был! со временем все!
W
никакая система типов тебе не гарантирует, что происходящее это не семантически полный мусор
Но с ней сложнее писать семантический мусор, чем без неё.
Ввиду ограничения типов. На которые можно накрутить логику.
Ввиду ограничения типов. На которые можно накрутить логику.
CD
Но с ней сложнее писать семантический мусор, чем без неё.
Ввиду ограничения типов. На которые можно накрутить логику.
Ввиду ограничения типов. На которые можно накрутить логику.
А с тестами в тысячу раз сложнее писать семантический мусор, особенно если тесты это проверки на реальных данных
W
А с тестами в тысячу раз сложнее писать семантический мусор, особенно если тесты это проверки на реальных данных
Но тесты надо написать. Иначе их не будет.
А типизация никуда не денется.
А типизация никуда не денется.
CD
Если ты в модель данных написал, что payment_amount это %d, а он оказался %.2f, компилятор всё скомпилит, а тесты скажут, что ты не десериализуешь ответ сервера
W
Если ты в модель данных написал, что payment_amount это %d, а он оказался %.2f, компилятор всё скомпилит, а тесты скажут, что ты не десериализуешь ответ сервера
Я словлю эксепшен о том, что я пытаюсь достать не тот тип из контейнера.
CD
Но тесты надо написать. Иначе их не будет.
А типизация никуда не денется.
А типизация никуда не денется.
Типизация это твоя обязанность написать некоторые тесты. Тот же самый эффект можно достигнуть, если внедрить в компилятор систему контроля покрытия тестами.
CD
Я словлю эксепшен о том, что я пытаюсь достать не тот тип из контейнера.
Если любая строка будет выполнена хотя бы раз, то этот код упадёт на одном из тестов.
W
Типизация это твоя обязанность написать некоторые тесты. Тот же самый эффект можно достигнуть, если внедрить в компилятор систему контроля покрытия тестами.
Но ты не сможешь внедрить в компилятор систему контроля покрытия тестами так, чтобы она валидно работала на всех платформах.
И не всегда тесты нужны.
И не всегда тесты нужны.
CD
Но ты не сможешь внедрить в компилятор систему контроля покрытия тестами так, чтобы она валидно работала на всех платформах.
И не всегда тесты нужны.
И не всегда тесты нужны.
Что значит не смогу? Почему нет?
W
Что значит не смогу? Почему нет?
И какие же тесты ты хочешь чтобы требовал компилятор?
CD
И какие же тесты ты хочешь чтобы требовал компилятор?
Все и побольше. Он же от меня требует писать в соответствии с системой типов, чтобы я не говнокодил
CD
Собственно говоря, развитая система типов и есть интеграция тестов, но очень специфическая и очень специфических
W
Все и побольше. Он же от меня требует писать в соответствии с системой типов, чтобы я не говнокодил
Но система типов стандартизованна. И четко прописано, что можно, что нельзя.
А что ты будешь писать в требовании к тестам?
А что ты будешь писать в требовании к тестам?
CD
Но система типов стандартизованна. И четко прописано, что можно, что нельзя.
А что ты будешь писать в требовании к тестам?
А что ты будешь писать в требовании к тестам?
Ну требование, чтобы любой код выполнялся, как-нибудь пропишу уж
CD
Уверен, задача решаемая. Задача этого примера не решить её, а показать абсурдность требования к компоненту системы осуществлять функции, которые он может не осуществлять