>хороший практичный С

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

я твою фразу не то что не понял, я её даже не распарсил.

В эрланге пачка разных синтаксисов для работы с функциями, причем надо очень глубоко разбираться в деталях их реализации: публичные, приватные для модуля, косвенная адресация, не очень косвенная, через тупл, через спец-тип function.

Назвать это first class тяжеловато.

вообще нет.

Например partial application он либо есть либо нету

Теоретически можно запилить beam язык с таким, но возможно и нет…

Надо переделывать компилатор эрланга чтобы каррирование работало

А все, что попадает в руби/питон, перестаёт быть ФП?

Функция — это то, что is_function. Остальное — это способы вызова функции или адресации (?).

Энивей, если Э не функциональный, то какой? Процедурный?

mfa-ж задепрекейтили вроде.

мне кажется, что это сильно размывающееся деление.

Понятно, что если у тебя тут валяется жава и с++, то наверное на Э можно повесить шильдик ФП с тем же набором аргументов, что и на лисп.

Но вообще прицепившийся к лиспу мем, что он  функциональный, многих бесит

gen_server:start_link тожа в помойку?

fun m:n/arity vs fun() -> имеет аналог и в хаскеле:
k arg = vs \arg ->

а это именно пример того, как одна функция в другую передается для расширения функциональности

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

язык обслуживания акторной виртуальной машины

Нет такой парадигмы.

да не обязан быть, чтобы быть функциональным.

предметно-ориентированный язык

В такой формулировке я даже не знаю, где хорошо.

Ну смотри сам: в эрланге иммутабельность только у некоторого класса значений внутри одного процесса. Счетчики, ресурсы и т.п. — оно не иммутабельно.

Есть всякие посылки сообщений, вызовы process_info и т.п., что делает код совершенно непредсказуемым и грязным.

Глядя на код на эрланге, ты не можешь узнать: чистый он или грязный, пока его весь не проверишь.

Говорят, что на хаскеле можно, но я не особо в курсе.