Czy istnieją jakieś techniki Haskell dla konstrukcji mieszanej (część, część niezmodyfikowanej tekst) analizowania i przepisywanie?

Question

Przykład problemu: Chcę napisać skrypt Haskell, które będą podświetlane (na przykład z \fbox) pierwsze wystąpienie symboli matematycznych w dokumencie. Mam nadzieję, że to pomoże mi upewnić się, że wszystko przedstawiłem.

• Regex są nieodpowiednie, gdyż nie będą wiedzieć, co jest w trybie matematyki, etc., a nie mają logiki liczyć rzeczy, lub wie, że zmienna od następnego \section jest rzeczywiście nowa zmienna .

• Ja też nie chcę, aby napisać parser dla wszystkich lateksu. Wydaje się, że prawdopodobieństwo błędów jest wysoka, a ja tak naprawdę chcę napisać skrypt, a nie komercyjny program.

Napisałem mieszany parser - taki, który ma pewną strukturę i resztę zachował jako tekst, w odpowiedzi na pytanie tutaj. [How do you use parsec in a greedy fashion?]. Ale moje podejście było uciążliwe. Czy istnieje lepszy, bardziej formalny sposób?

Answer 1

Możesz chcieć rzucić okiem na Pandoc library on Hackage dla parsowania Latex. Pozwoli ci to parsować, modyfikować i ładnie drukować Latex, a także kilka innych formatów.