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

[hardcase]

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

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

Код

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

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

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

[Lapp]

Забавно, действительно в этом случае локальные параметры не нужны больше.
Я думаю, этот вопрос следует задать непосредственно писателям FPC и всем остальным производителям.