Читал тут comp.lang.functional, и наткнулся на ОФИГЕННУЮ ШТУКУ! Называется ANT, но это не тот ANT, о котором вы все подумали. =) "ANT is not TeX". Короче, это TeX, переписанный на OCaml, с поддержкой юникода, и со встроенным OCaml-подобным языком. Кто пытался программировать на TeXe, тот поймёт. =) И кто пытался набирать иероглифические тексты, тот ещё раз поймёт. B) Блин, и такую мегавещь от меня скрывали! Всё, отправляюсь в нирвану, друзья.
Наткнулся тут: http://www.gatago.com/comp/lang/functional/18632850.html