Сегодня увидел на HN новость про типографскую систему Patoline. Позиционируется она как более современная замена TeX-у и Co. Её главные особенности:
- Синтаксис описания похож на существующий для TeX/LaTeX - для упрощения перехода.
- Вместо TeX-а используется OCaml, что позволяет использовать статический анализ для выявления ошибок, а также упрощает расширение и интеграцию с существующим кодом/библиотеками
- Модульность - возможно даже перейти на новый синтаксис описания документов, без изменения остальных частей.
- Использование аналога DOM (представление документа в виде абстракции) и экспорт в форматы pdf, svg, ps, png.
- Улучшенное позиционирование обьектов на странице («работа над ошибками» TeX-а)
Сама система написана на OCaml, в качестве VCS использует darcs. Надеюсь, взлетит - миру нужна более современная и удобная замена TeX-у.