Наскільки мені відомо, всі сучасні імперативні мови програмування підтримують рекурсію в тому сенсі, що процедура може викликати себе. Це не завжди було так, але я не можу швидко знайти пошук важких фактів. Отже, моє запитання:
Які мови не підтримували рекурсію з самого початку і коли ця підтримка була додана?
Відповіді:
Я не впевнений, що це COBOL (це, звичайно, не було свого часу), але я не можу навіть уявити, щоб хтось так сильно піклувався.
Fortran починає працювати з Fortran 90, але вимагає використовувати recursiveключове слово, щоб сказати, що підпрограма є рекурсивною.
PL / Я був майже однаковий - рекурсію підтримували, але вам довелося чітко сказати, які процедури були рекурсивними.
Я сумніваюся, що є набагато більше, ніж це. Коли ви переходите до цього, заборона рекурсії була в основному тим, що IBM зробив у своїх мовних конструкціях з тієї простої причини, що мейнфрейми IBM (360/370 / 3090 / ...) не підтримують стек в апаратному забезпеченні. Коли більшість мов походить від IBM, вони здебільшого забороняють рекурсію. Тепер, коли всі вони приходять з інших місць, завжди дозволена рекурсія (хоча я мушу додати, що ще кілька інших машин, зокрема оригінальний Cray 1, не мали апаратної підтримки для стека).
notably the original cray 1Отже, вам не потрібна рекурсія для клонування динозаврів? Я здогадуюсь насправді від нас, мавп, гойдатися по деревах.
У Вікіпедії сказано:
Ранні мови, такі як Fortran, спочатку не підтримували рекурсію, оскільки змінні були розподілені статично, а також місце для повернення адреси.
http://en.wikipedia.org/wiki/Subroutine#Local_variables.2C_recursion_and_re-entrancy
FORTRAN 77 не дозволяє рекурсію, Fortran 90 робить (рекурсивні процедури повинні бути чітко оголошені так).
Більшість компіляторів FORTRAN 77 допускають рекурсію, деякі (наприклад, DEC) вимагають використання параметра компілятора (див. Розділ параметрів компілятора). GNU g77, який суворо відповідає стандарту Fortran 77, взагалі не дозволяє рекурсії.
Мова програмування OpenCL не підтримує рекурсії. (див. розділ 6.8 специфікації OpenCL )
Поточною мотивацією для цього є: відсутність місця для глибоких стеків; b) бажання статично знати загальні необхідні асигнування для оптимізації для продуктивності за наявності великих наборів реєстрів та великої вставки.
Це цілком може стосуватися інших мов програмування GPU, наприклад, мов шейдерів.
Деякі компілятори c для невеликих мікроконтролерів не підтримують рекурсію, імовірно, тому що вони мають надзвичайно обмежений розмір стека.
BASIC в дні рядкових номерів, як правило, мав погану підтримку рекурсії. Багато (всі?) ОСНОВИ того часу підтримували вкладені дзвінки gosub, але не підтримували простий спосіб передачі параметрів або повернення значень таким чином, щоб було корисно самостійно телефонувати.
У багатьох ранніх комп'ютерів виникли проблеми з рекурсією, оскільки вони використовували інструкції виклику, які записували зворотну адресу на початок розпорядження (PDP8, сімейство машин IAS, можливо, більше архітектури, з якою я незнайомий), як правило, таким чином, що це був машинним кодом для "Перейти до інструкції після того, який викликав розпорядок".
Це залежить від того, що ви маєте на увазі під « підтримкою ». Для підтримки рекурсії вам потрібен стек, де слід інстанціювати локальні змінні при кожному повторному вході.
Навіть якщо мова не має поняття локальних змінних, якщо вона має поняття "підпрограма" і має спосіб управління індексуванням між однаковими змінними (він же масив), ви можете збільшувати / зменшувати глобальний індекс при кожному вході / виході функції та доступ через неї члена одного або декількох масивів.
Я не знаю, чи можна це назвати "підтримкою". Факти полягають у тому, що я писав рекурсивну функцію за допомогою ZX-Spectrum BASIC, як це робив у Fortran77, як у COBOL ... завжди з цим фокусом.
Мова складання безпосередньо не підтримує рекурсію - вам доведеться "зробити це самостійно", як правило, шляхом натискання параметрів на машинний стек.
CALLінструкція, яка автоматично підштовхує IP до стеку перед переходом до підпрограми, та RETінструкція, яка відображає зворотну адресу в IP. Немає ніяких причин не CALLмати власного входу.
void f() { f(); }є рекурсивним.