Вообще нужен какой-то новый человеко и машино-читаемый язык. Язык,
который можно было бы формально проверить на отсутствие
противоречий. Чтобы на нем писать стандарты типа C++23. Машина
должна напрямую уметь интерпретировать такой зык и проверять,
скажем, исходник на соответствие ему и неким дополнительным
правилам. Пусть не очень быстро. Ручная кодировка всяких
"интеллектуализаторов" против "человеческого" стандарта это самое
уязвимое место современных программных технологий. Нужно что-то типа смартконтракта.
Evgeny_CD, Архитектор (24.01.2023 04:18, просмотров: 169) ответил Evgeny_CD на Проявились контуры будущего программирования. [LSP] - Language Server Protocol и все вокруг него. Снова покопались в
моей голове.
)