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

Date: 2016-11-06 11:26 am (UTC)
From: [identity profile] usovalx.livejournal.com
+100

FAQ section is the best.

Date: 2016-11-06 07:07 pm (UTC)
From: [identity profile] 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.

Date: 2016-11-07 03:12 am (UTC)
From: [identity profile] thedeemon.livejournal.com
Да, именно поэтому несколько запусков может понадобиться для полного искоренения багов.

Date: 2016-11-06 07:28 pm (UTC)
From: [identity profile] binf.livejournal.com
Следующий левел гарантий безопасности - это чтобы при не выловленном рантайм исключении автор кода автоматически получал шило в задницу

Date: 2016-11-06 07:51 pm (UTC)
From: [identity profile] anonim-legion.livejournal.com
А в случае коммерческого кода - еще и техлид, ПМ, техдир и СЕО.

Date: 2016-11-06 07:50 pm (UTC)
From: [identity profile] anonim-legion.livejournal.com
В "Буратине" Мих. Харитонова Мальвина думает на чем-то вроде хаскеля и как раз в стиле этого языка:

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

Date: 2016-11-07 09:21 am (UTC)
From: [identity profile] nivanych.livejournal.com
> процесс избавления от багов в коде
> наконец-то автоматизирован

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

Date: 2016-11-07 09:57 am (UTC)
From: [identity profile] thedeemon.livejournal.com
Да, я вижу, что его метод был совершенен: от кода с багами и проекта с ними не осталось и следа.

Date: 2016-11-07 10:37 am (UTC)
From: [identity profile] nivanych.livejournal.com
(упрощённо) rm — надёжная ликвидация багов!

Profile

thedeemon: (Default)
Dmitry Popov

May 2017

S M T W T F S
 1234 56
789 10 11 1213
14151617181920
21222324252627
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 23rd, 2017 02:54 pm
Powered by Dreamwidth Studios