Без заголовка

там в тексте что-то сказано про "суперкомпиляцию". непонимаю до конца что это такое. но вроде с её применением само понятие "тестирования" потеряет смысл. и это хорошо и правильно. в идеале должно быть так что программу не нужно тыкать туда-сюда чтоб убедиться что она шевелится как надо. будет возможен какой-то почти доказательный уровень надёжности на всем множестве возможных входных данных. Тестирование остается актуально и в случае суперкомпиляции. Суперкомпиляция - это лишь методика преобразования программы к эквивалентной другой программе, просто более эффективной. И все баги сохраняются, и возможно добавляются новые :). а языки типа си, я считаю скоро уже уйдут в прошлое (не решусь срок определить, гдето через 200 лет точно:)). кстати к вопросу про уровни и проблеммы "тестирования". такой пример. sql. это же более высокий уровень, в сравнении если писать алгоритмы конкретных выборок-переборов на том же си. но если эта машина бд доказательно проработана на всех внутренних уровнях реляционных алгебр и пр. то это будет несопоставимо надёжней подход чем самодельная сишная программка. Да конечно. Программирование на высокоуровневых языках существенно более продуктивно.