конструкций осталось только CATCH доделать. И вот встаёт вопрос как. Эта конструкция принимает идентификатор и форм. Идентификатору присваивается escape object, его можно рассматривать как функцию одного аргумента, при вызове блок CATCH ассоциированный с этим escape object заканчивается и возвращает аргумент ему переданный при вызове. У меня есть 2 окружения, основное(с лексическим скоупом) я храню в Parent pointer tree на основе векторов, динамическое храниться просто как хэшмапа(поиск работает только по текущему скоупу). Функции хранятся в окружении, я думаю escape object также должнн храниться в окружении и вот собственно вопрос как его реализовать? Я думаю это что-то из разряда циклов с метками
Пора переписывать на Continuation-Passing Style? 😉
Действительно, спасибо
А что лучше почитать на эту тему? И много ли потенциально прийдётся изменить в моей реализации?
Что почитать? Да почти что угодно, это очень основательно распаханное поле. Ближе к практике можно глянуть Scheme in 48 hours, ближе к теории — Compiling with continuations. Много ли переписывать — не имею понятия, я же Ваш код не видел. 🤷♀
Essentials of programming languages, главы 4, 5
Обсуждают сегодня