Говнокод #16735 — Куча — Говнокод.ру

Говнокод: по колено в коде.

Нашли или выдавили из себя код, который нельзя назвать нормальным, на который без улыбки не взглянешь? Не торопитесь его удалять или рефакторить, — запостите его на говнокод.ру, посмеёмся вместе!

Куча / Говнокод #16735

+127

https://www.marshut.net/knqkut/dijkstra-s-methodology-for-secure-systems-development.html

Учитесь троллить! (Я подписался на рассылку запостить пару багов, а тут...)

Запостил:

wvxvw, 20 Сентября 2014

Комментарии (15) RSS

3.14159265 22.09.2014 13:53 # +5

Видимо никто не осилил многабукав.
Ответить
- bormand 22.09.2014 14:46 # +4
  
  Ну х.з., я дочитал до коммента автора, о том, что он нелегально живет в боливии на деньги, которые он занимает у родственников, и у него гнилые зубы.
  
  А сама тема генерации кода по спеке, безусловно, интересна. Трабла в том, как эту спеку сделать понятной человеку и машине. Там где это достижимо - уже юзают генераторы (хоть и не доказывая формальную корректность)...
  Ответить
  - roman-kashitsyn 22.09.2014 15:18 # +3
    А что, занятный малый
    http://livelogic.blogspot.ru/2014/08/a-funny-way-to-earn-living.html
    
    auto4ck tools - это гениально
    
    "there's no need to hook guile to gdb, because if we rewrote all software with proper methodology, there'd be no bugs"
    Ну это уже откровенный троллинг, хоть я дебаггеры и не люблю.
    
    Кмк, они бы с wvxvw подружились.
    Ответить
    - 3.14159265 22.09.2014 15:27 # +2
      
      >они бы с wvxvw подружились
      Что интересно, мне в голову пришла схожая мысль.
      Ответить
      - roman-kashitsyn 22.09.2014 15:35 # +1
        
        3.14159265 2 часа назад # +3 bormand 49 минут назад # +2 roman-kashitsyn 17 минут назад # +1 3.14159265 8 минут назад # 0
        Я знаю, какая оценка будет у этого комментария
        Ответить
        
        3.14159265 22.09.2014 15:38 # 0
        
        Кто меньше?
        Ответить
        
        inkanus-gray 22.09.2014 15:49 # −1
        
        2,718281828.
        Ответить
        
        1024-- 22.09.2014 16:01 # −2
        
        Эх, плюсанул случайно один из комментариев, не дочитав остальные.
        Ответить
        
        kegdan 22.09.2014 17:44 # −3
        
        баланс восстановлен
        Ответить
        
        1024-- 22.09.2014 17:47 # −4
        
        Интересно, на каком значении прогрессия прервётся.
        Ответить
        
        Fike 25.09.2014 18:10 # −5
        
        показать все, что скрытохуй (ибо какие еще комментарии здесь набирают -6?)
        Ответить
        
        inkanus-gray 25.09.2014 19:16 # −4
        
        Давайте флудить и троллить!
        Ответить
        
        3.14159265 25.09.2014 20:13 # −3
        
        При других обстоятельствах я б плюсанул...
        Ответить
        
        1024-- 25.09.2014 20:23 # −3
        
        *понимающе кивает головой, нажимая на крестик* И я бы плюсанул.
        
        Мы - рабы моды.
        Ответить
wvxvw 22.09.2014 20:12 # +1

Про спецификацию к коду - идея далеко не новая. Я не знаю, был ли Дейкстра первым, кто об этом говорил, но он уже этого хотел. Милнер, ну и есстессно все, кто за ним пошли, решили, что типы - это и есть тот самый вариант доказательства того, что код правильный. К сожалению, у них не получилось. Ну, или не совсем получилось.

Врезультате последователи Милнера решили жить в мире, где какие-то инструменты программирования - вне закона (чтобы не утруждать себя доказыванием их правильности). Что делает, вцелом, программирование на таких языках неудобным. И даже после отказа от всяких инструментов использование которых нельзя подвсети под теорию типов, все равно остаются проблемы с доказательством правильности кода.

С другой стороны, случаев, когда это действительно проблематично - мало, и у подхода Милнеровцев есть плюсы. Но есть и такие, кто надеется найти более универсальное решение.
Ответить

Говнокод: по колено в коде.

Куча / Говнокод #16735

Комментарии (15) RSS

Добавить комментарий