Мне интересно, есть ли какие-либо эксперименты, которые показывают существование или отсутствие корреляции между использованием динамического языка (такого как Python, Ruby, или даже языков, которые работают на платформе Java, таких как Groovy, Clojure) над статический язык (например, C / C ++) и...
Проблема остановки не может быть решена в общем случае. Можно придумать определенные правила, которые ограничивают разрешенные входы, и можно ли решить проблему остановки для этого особого случая? Например, кажется вероятным, что язык, который не допускает циклы, например, будет очень легко...
Как проверить, возвращают ли два алгоритма (скажем, сортировка слиянием и наивная сортировка) один и тот же результат для любого входа, когда набор всех входов бесконечен? Обновление: Спасибо, Бен, за описание того, как это невозможно сделать алгоритмически в общем случае. Ответ Дейва - это краткое...
Есть ли доказательства того, что время, потраченное на написание или размышления о требованиях, повлияет на время разработки? Исследование, проведенное Standish (1995), показывает, что неполные требования частично (13,1%) способствовали провалу проектов. Проводятся ли какие-либо исследования,...