Eternal moral vigilance is no laughing matter.

[thedeemon]

Several invocations may be required to fully excise all bugs from your code.
На реддите напомнили про замечательный язык, где процесс избавления от багов в коде наконец-то автоматизирован.

Comments

[usovalx.livejournal.com]

+100

FAQ section is the best.

[bvlb.livejournal.com]

"It goes without saying that any function that throws an exception which isn't caught is wrong and must be punished."

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

Т.о. любой код с хотя бы одной ошибкой при количестве запусков →∞, сам →0.

[thedeemon.livejournal.com]

Да, именно поэтому несколько запусков может понадобиться для полного искоренения багов.

[binf.livejournal.com]

Следующий левел гарантий безопасности - это чтобы при не выловленном рантайм исключении автор кода автоматически получал шило в задницу

[anonim-legion.livejournal.com]

А в случае коммерческого кода - еще и техлид, ПМ, техдир и СЕО.

[anonim-legion.livejournal.com]

В "Буратине" Мих. Харитонова Мальвина думает на чем-то вроде хаскеля и как раз в стиле этого языка:

Поблизости есть кроты. Иногда их можно задействовать для поиска питательных кореньев. Но я не люблю готовить коренья < готовить коренья утомительно > почему кроты не готовят мне еду? > они не способны > все неспособные служить мне виновны, виновные должны быть наказаны.

[nivanych.livejournal.com]

> процесс избавления от багов в коде
> наконец-то автоматизирован

Если я правильно помню, соответствующее достижение сделал кто-то из советских академиков.
Но отсутствие финансирования и бюрократия теперь уже навсегда похоронили сиё творение.
Жаль, смутно помню совсем, не могу вспомнить, как называлось.
А то, мож и есть шанс возродить %)

[thedeemon.livejournal.com]

Да, я вижу, что его метод был совершенен: от кода с багами и проекта с ними не осталось и следа.

[nivanych.livejournal.com]

(упрощённо) rm — надёжная ликвидация багов!