Генераторы LL(k) парсеров

[metaclass]

Сижу пытаюсь соорудить парсер для Scheme. Спотыкаюсь на всяких забубенных правилах для токенов типа того, что после \ идет либо символ либо его числовое представление, хрен его знает как его туда запилить.

Comments

В данном конкретном случае с числом

[(Anonymous)]

Это можно представить как символ с именем-числом и соответствующим ему значением-числом.

Vitaly_K

Re: В данном конкретном случае с числом

[metaclass.livejournal.com]

О, как вариант допустимо.
Но я уже там припилил варианты символов через регулярное выражение.

Re: В данном конкретном случае с числом

[k-und-k.livejournal.com]

Это менее универсальное решение, т.к. не покрывает строковых констант. А первое решение - покрывает.

Vitaly_K

Можно вопрос?

[Озадаченный медведь (from livejournal.com)]

А куда собираетесь встраивать парсер? Или это просто упражнение?

Vitaly_K

Re: Можно вопрос?

[metaclass.livejournal.com]

Ничего более адекватного в качестве шаблонов для генератора кода не пришло в голову.
На самом деле на полноценный интерпретатор схемы у меня ни времени, ни сил не хватит, но для подстановки значений в шаблон вроде бы хватит и того урезанного куска, который я уже сделал.

Re: Можно вопрос?

[Озадаченный медведь (from livejournal.com)]

Может, я чего-то не понимаю, но разве не проще взять готовый интерпретатор лиспа или схемы, наработать на них словарь для генерации кода нужного языка, а потом писать шаблоны уже на схеме/лиспе?

Vitaly_K

Re: Можно вопрос?

[metaclass.livejournal.com]

Проще, если бы не было потенциальной необходимости использовать это дело в окружении, где ничего кроме .NET выполняться не может.

Вероятно, можно было бы портировать какой нибудь из существующий интерпретаторов на Managed C++, но я тогда закопаюсь окончательно и до итогового результата - генерации кода из моделей объектов доберусь еще не скоро :)

Так есть же Scheme для .NET

[Озадаченный медведь (from livejournal.com)]

Вот, к примеру:
http://www-sop.inria.fr/mimosa/fp/Bigloo/
http://www.yaya.fr/Bigloo/

Vitaly_K

Re: Так есть же Scheme для .NET

[metaclass.livejournal.com]

Угу. Если бы оно еще собиралось под виндой без плясок с бубном. makefile ссылается на файл, которого в исходниках нет, и который создается, похоже, скриптом configure, для запуска которого нужен Cygwin.
Проект для Visual Studio тоже не собирается.
К сожалению, мне гораздо проще сделать самодельную урезанную версию интерпретатора, чем разбираться, почему не билдится полноценный интерпретатор и как его потом прикрутить к моему проекту. Это, кстати, проблема с очень многими opensource проектами для программистов - их авторы предполагают, что у тех, кто пользуется их проектами есть очень много времени и опыт для того, чтобы разбираться с инструментами. А обычно это не так, поскольку промышленная разработка требует работы, а не изучения инструментов :)

Re: Так есть же Scheme для .NET

[Озадаченный медведь (from livejournal.com)]

Не спорю. Но разве нету других версий?
Вот, к примеру: http://www.codeplex.com/IronScheme

Vitaly_K