Я разрабатываю язык для записи математических доказательств для проверки доказательств. (Если быть более точным: это язык для записи производных в Постканонические системы )
Можно ли создать подсветку синтаксиса для кода VS, Sublime Text или Atom, которая будет делать что-то вроде этого:
Поэтому я прошу контекстно-зависимую подсветку синтаксиса. Только «объявленные» переменные должны быть выделены (до следующего объявления переменной).
Конечно, с помощью пользовательского лексера в Pygments это возможно. Но грамматики, подобные TextMate, кажутся слишком ограниченными. Если это так: есть ли редактор кода, который может использовать что-то вроде Pygments для выделения кода?
Примечание:
- Не важно, что происходит, если одна переменная является начальным сегментом другой.
- Семантическое содержание примера, конечно, бессмысленно.