Co sprawia, że ​​Ometa jest wyjątkowa?

Question

Ometa to "nowy obiektowy język do dopasowywania wzorców". Spotkałem się z dopasowywaniem wzorców w językach takich jak narzędzia Oz, aby parsować gramatyki takie jak Lexx/Yacc lub Pyparsing wcześniej. Mimo obejrzenia przykładowego kodu, czytania dyskusji i rozmowy z przyjacielem nadal nie jestem w stanie zrozumieć, co sprawia, że ​​Ometa jest wyjątkowa (a przynajmniej dlaczego niektórzy tak uważają). Jakieś wyjaśnienie?

Answer 1

To jest metajęzyko, z tego co wiem. Możesz tworzyć nowe konstrukcje językowe i tworzyć listy DSL; ale najbardziej interesującą rzeczą jest to, że możesz podklasować z istniejących parserów, aby rozszerzyć język. I tak o tym pamiętam.

Znalazłem to być ciekawe: http://www.moserware.com/2008/06/ometa-who-what-when-where-why.html

Answer 2

Również dla mnie najważniejsze, port pisk Ometa pozwala na zasadach lewych-rekurencyjne.

Ze swojego dziedzictwa PEG cofa się i nieskończenie przewyższa. Zapamiętywanie poprzednich wyników analizy pozwala na liniowe przeanalizowanie czasu (prawie cały czas (*)).

Produkcja wyższego rzędu pozwala łatwo zmienić gramatykę.

This paper - Parser Packrat obsługuje lewą rekursję - wyjaśnia lewe właściwości rekursywne.

(*) Sekcja 5 artykułu wyjaśnia, że ​​można cierpieć na superlinię czasu analizy, ale problem ten nie występuje w gramatykach praktycznych.