История изменений
Исправление Nervous, (текущая версия) :
это и есть основная задача и ценность типизации
Но ты ведь согласен, что написание кода и автоматическая проверка его на корректность — это разные задачи?
Или ты как тот программист с чайником? %)
Исправление Nervous, :
это и есть основная задача и ценность типизации
Но ты ведь согласен, что написание кода и автоматическая проверка его на корректность — это разные задачи? Или ты как тот программист с чайником? %)
Исходная версия Nervous, :
это и есть основная задача и ценность типизации
Но ты ведь согласен, что написание кода и автоматическая проверка его на корректность — это разные задачи? %)