Оптимизация концевой рекурсии, Есть такой компилер для паскаля? Опции

[hardcase]

Недавно увлекся функциональным программированием, конкретный язык - Nemerle. Язык интересен тем, что все синтаксические конструкции (в терминах Nemerle - макросы) выражены через рекурсию и сопоставление с образцом.

Существует такое понятие, как "концевая рекурсия":

Код

procedure Proc();
begin
...// некий код
   Proc();
end;

Т.е. это рекуррентый вызов, после которого происходит возврат управления. Многие компиляторы с функциональных языков (для Nemerle - это вообще стандарт) оптимизируют этот вызов, устанавливая новые значения локалньым параметрам и передавая управление на begin, тем самым не создавая новой активации подпрограммы на стеке.

Вот задался вопросом - существует ли компилер с подобной фишкой для Паскаля?

[SKVOZNJAK]

Да хоть борланд, хоть ФПЦ, ввезде это работает, если GOTO использовать. В турбовизион таким способом удобно окошки создавать: при нажатии на кнопку в обработчике событий срабатывает GOTO, параметр записывается в массив откуда потом считывается процедурой создающей окно, выполняется какое-либо действие, окно перезапускается с новыми параметрами. Так можно текст в окошко вводить, что-то запускать. Фишка в отсутствии необходимости изучать всю систему целиком, она и по частям работает хорошо, и даже совмещается с другими системами. Без GOTO это невозможно - надо весь код изучать, переделывать...
Можешь посмотреть как это работает http://stiratel7.narod.ru/1/z.html Система "Сушняк турбо", надеюсь архив не запортился на сайте, как это случилось с гамой.

Сообщение отредактировано: SKVOZNJAK - 18.05.2007 14:55

[hardcase]

Да хоть борланд, хоть ФПЦ, ввезде это работает, если GOTO использовать

Использование конструкции GoTo в данном случае не уместно, ибо она небезопасна и по своей логике нарушает концепцию "вызова-возврата", кроме того приходится самостоятельно забивать параметры руками, а это черевато побочными эффектами, проблемами с дальнейшим сопровождением кода, рефакторингом и прочими прелестями.