Средства и методы разработки

никляп (24.01.2023 08:56, просмотров: 2) ответил Evgeny_CD на Вообще нужен какой-то новый человеко и машино-читаемый язык. Язык, который можно было бы формально проверить на отсутствие противоречий. Чтобы на нем писать стандарты типа C++23. Машина должна напрямую уметь интерпретировать такой зык и проверять, скажем, исходник на соответствие ему и неким дополнительным правилам. Пусть не очень быстро. Ручная кодировка всяких "интеллектуализаторов" против "человеческого" стандарта это самое уязвимое место современных программных