Про ФЯ

[mas]

Где J с его tacit определениями?

[semka]

Не доводилось, увы. Хотя безусловно нужно будет исправить.
Еще было бы неплохо про APL.

[mas]

APL - не то. Там только "массивная" хорошо проработана. Этакий Бейсик с массивами, хотя в 1000 раз красивей и мощней любого Бейсика. А J - это следующий уровень, причём сразу по многим направлениям.

[manuscriptum]

спасибо за полезный обзор
сейчас разбираюсь с Ocaml - это первый мой язык функционального программирования. Движется со скрипом. Непривычно очень. Натолкнулся случайно в поисках jabber-ботов на проект sulci - а он оказался написанным на Ocaml. Теперь приходится разбираться чтобы по необходимости суметь вносить правки в код.
Дефицит толковой литературы по кемелу, к сожалению. А выглядит все очень интересно.
Привлекает в нем то, что есть реализации и компилирующие в байт-код и в нативный код, а кемелевское сравнение с образцом настолько изящно вписано в язык. Жаль что раньше о нем не слышал.

А есть у этого языка како-нибудь комьюнити или форум в рунете?

[varnie]

посредственный обзор. кучу языков обошли стороною.

[antage]

Лисп не является функциональным языком по нескольким причинам, в том числе: в лиспе можно использовать переменные и создавать сайд-эффекты.

А разве в scheme отменили set!?
Мне таки кажется, что scheme, так же как и lisp — мультипарадигменный язык.

[vtv]

Шикарная, как говорите, «ахинея». :)
Пишите еще!