Ответ от любителя самоучки

Оберон — классический фундаментальный без излишеств предсказуемый императивный язык программирования весьма близкий к железу.

На Обероне возможно написать программу без применения глобальных переменных, так что она будет соответствовать требованиям функционального программирования. В Обероне есть и процедурные переменные, и поддержка рекурсивных вызовов. Не уверен насчёт 100% технической поддержки от переполнения стека при рекурсии... Но тем не менее рекурсивные алгоритмы какие-то писал.

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