b
понятно нас тролят пацаны
Size: a a a
2020 October 30
b
школа царя
SP
ну есть просто то что программа делает и то что от нее хотят. если это не соответствует то это баг
p
читал все утро чето по идрису. и я просто не знаю как подступиться. вообще ничего не понятно. чето там пацаны доказывают. я не понимаю смысл доказательства вообще, ничего не понимаю лол
Доказательство это тест для определенного типа вместо определенного значения
b
ну есть просто то что программа делает и то что от нее хотят. если это не соответствует то это баг
ну да. ты назвал определение бага
b
ты веришь в то, что может быть несоответствие в том, что программа делает и что от нее хотят?
p
Вроде тривиальная концепция
SP
ну это да
b
то есть ты все–таки веришь в баги
p
Баг очень похоже на бог лол
b
поехали дальше. как ты себе представляешь баги?
b
то есть когда в одном отдельном случае програма себя ведет не так как надо это кажется понятно
SP
ну тут смысл в другом. программы делают то что хотят обычно посредством делания чего то вообще не связанного с хотелкой, поэтому смысла в этом определении мало
b
но когда ты хочешь понимать примерно с целью обучения например каким образом программа может себя неправильно вести
p
Баг это несоответствие спецификации и реализации
b
ты составляешь какое–то представление о багах, о каких–то классах ошибок и т.д.
SP
ты как то очень издалека зашел
b
во всяком случае, у тебя строится представление о том, как писать программы правильно (без багов) напротив тому, как писать их неправильно (с багами)
b
что это за представление такое? по сути ты хранишь набор ограничений, вещей которые делать нельзя. или структуры, которые ты знаешь что тебе следует использовать. алгоритмы которые ты знаешь что они будут работать
SP
часто не строится потому что примитивов нет чтобы строить