КП
А меня вот межбуквенные интервалы не интересуют, у меня другая задача — я хочу из обычного LaTeX-документа получать абстрактное представление, и с ним потом работать.
Нужно строить AST?
Size: a a a
2018 January 10
Dv
Нужно строить AST?
Я не уверен, возможно ли это.
КП
Я не уверен, возможно ли это.
Ну, TeX же вполне ЯП, так что почему нет?
Dv
Ну то есть не факт, что у TeX есть нормальный полный AST на каком-то этапе работы.
КП
Хм...
Dv
Ну, TeX же вполне ЯП, так что почему нет?
Да, это ЯП.
Dv
Но тут проблема такая, что от AST никакой пользы нету.
Dv
Например, ты видишь терм
\newtonDv
Отлично, ты построил AST из одного элемента.
Dv
Но ты теперь не знаешь, что он каким-нибудь макросом раскрывается в бином Ньютона.
КП
Я клоню к тому, что можно свести к чему-то вроде WASM
Dv
Ну вот да, меня интересует, нельзя ли какое-то низкоуровневое представление выдернуть из TeX.
Dv
Типа macroexpand чтоли?
Dv
Да, это может сработать на самом деле.
КП
Куда контрибутить?
Dv
Но далеко не факт.
Dv
Куда контрибутить?
Некуда контрибутить. Я уже сказал, что вопрос стратегический.
Dv
Нам нужен человек со стальными нервами, которого мы бы десантировали в код XeTeX.
Dv
Чтобы он там на месте осмотрелся, разобрался, и по возвращении на Родину представил отчёт.
A
Ну то есть не факт, что у TeX есть нормальный полный AST на каком-то этапе работы.
Надотнапилить фронт на ллвм