Много копий сломано в обсуждениях, какой язык программирования самый лучший с точки зрения корректности и безопасности (под термином "корректность и безопасность" имеется ввиду отсутствие различных ошибок в программе, которые проявляют себя на стадии её выполнения и приводят к выдачей некорректного результата или неожиданному поведения). А некоторые языки программирования, такие как SPARK или OCaml, даже специально разрабатывались для облегчения доказательства корректности программы.
А возможно ли вообще писать программы без ошибок?
Читать дальше →Источник: Хабрахабр
Источник: rsashka
Другие материалы на сайте b.Z - Записки о гаджетах, людях и музыке