Здравствуйте, Владимир Паронджанов, Вы писали:

ВП>Привожу цитату из статьи DRAKON английской Wikipedia
Спасибо, я поправил Вики.

ВП>https://en.wikipedia.org/wiki/DRAKON
Код мне покажите, код. Хватит уже цитат самого себя.

Что сложного-то написать хотя бы компилятор себя? Тем более, что ДРАКОН в текущем виде — это просто препроцессор, без реальной логики.

Рассказываю как это делают другие проекты. Например, возьмём язык Rust — он основан в 2010-м году и предназначен для создания надёжных систем.

Первая версия была на OCaml'е, но уже через год компилятор была переписан на сам Rust.

Первый крупный проект (Servo) был начат в 2012-м году и к 2014-му году уже начал быть полезным на практике. К 2016-му году имеются тысячи проектов сторонних разработчиков (https://crates.io/).

В 2015-м году начат проект по статическому доказательству правильности небезопасных частей стандартной библиотеки ( http://plv.mpi-sws.org/rustbelt/ ). Параллельно идёт проект по переформулировке системы типов в виде логических утверждений с возможностью автоматического доказательства их корректности ( https://github.com/nikomatsakis/chalk ).