всё есть функция
значения переменных не переменные

Чет не понятно. Приведи псевдокод, чтоб можно было обсудить.

Вероятно, нетипизированное лямбда-исчисление.

Да, так и есть, на сколько я понимаю. Но это не ЯП.

иммутабельностью

Переменных нет.
А по теме, SKI Calculus. Соответственно Unlambda.

Это не ЯП, конечно. Но набор требуемых конструкций оттуда можно извлечь. Или просто посмотреть ранний Lisp.

чем должен обладать ЯП, чтобы быть функциональным?

Разве само слово «функциональный» применительно к ЯП не содержит ответа на твой вопрос? Очевидно функциями.

Лямбда-исчисление.

/thread

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

Согласно тем определениям, которым меня учили, функциональный стиль программирования подразумевает передачу функции, как объекта другим функциям. В этом смысле сложно придумать не-функциональный язык, пожалуй Виртовский Паскаль можно считать таковым, а так даже в C уже есть указатель на функцию (а контекст можно передавать по соглашению первым параметром, например) и функциональный стиль программирования доступен, хотя и не удобен.

Если говорить про человеческую поддержку функционального стиля программирования - функция должна захватывать переменные (хотя бы выше по стеку, а в идеале вообще любые), желателен сахар для inline-объявления функции.

Многие считают, что функциональный стиль подразумевает иммутабельность. Я с этим не согласен, но это уже вопрос определений.

П.С. Я знаю парочку эзотерических ЯП, которые могут попадать под мое определение, но давайте их опустим.

Давай опустим. Называй.

Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore).

Про этот эзотерический ЯП я знаю давно. Я бы хотел, не знаю, «детский ФЯП», чтобы просто основные отличия от императивщины заценить.

Java таки однозначно.

Теперь, тому, кто на собеседовании умничает, что знает Java 8 и 9, тому примеры задаю.

Яйцеголовые умники-«титиретики» на конкретных задачках из книжки Ричарда Уорбэртона сразу же начинают бормотать что-то невнятное.

Потеха!

Ты самоутверждаешься что ли на собеседованиях? Я всегда полагал, что они нужны для того, чтобы найти нужного человека. Я же стараюсь помогать, чтобы сами додумали, если вижу, что немного плавают, когда я сам в роли спрашивающего

Нет, я проверяю знания по Java.

И особенно - что _практически_ соискатель делал.

Даже, если он не знает, как там устроен HashMap и сколько там «бакитов» по умолчанию.

У нас не «спортивное программирование», а enterpriZe.

«Самоутверждения» - это вопросы про «роботов-парашютистов», таблетки(sic!), которые надо делить пополам и т.п. «тупаки» якобы на «сообразительность».

Тугодум-умница намного более ценен для компании, чем нахватавшийся верхушек выскочка.

Но Java, мягко говоря, не является функциональным языком, хотя и позволяет записать очень многое из ФП, если не почти все, но какой ценой это будет сделано? Вот в чем вопрос. А к функциональным обычно относятся те языки, которые способствуют написанию программ в функциональном стиле, а Java, очевидно, к таковым не относится

Минимальный ЯП

Что значит минимальный?

Ну ты некрофил

То и значит. Какими конструкциями и операторами должен обладать язык, чтобы считаться функциональным ЯП?

По идее, ранний лисп (как сказал tailgunner) подходит в качестве ответа на мой вопрос.

Bizun

++Ну ты некрофил++

Это что?

++По идее, ранний лисп (как сказал tailgunner) подходит в качестве ответа на мой вопрос.++

А Haskell?