функциональный встраиваемый язык

Scheme в виде Guile. Оно конечно не статическое но хорошо встраиваемое.

lua, самое маленькое и мохнатое http://en.wikipedia.org/wiki/Lua_(programming_language), насколько он функционален под вопросом, но вроде некоторые фишки есть.

mzscheme встраивается.

были какие-то работы по встраиванию окамлов

> mzscheme встраивается.
а можно прямую ссылку на пример? на plt-scheme про это как будто ничего нет

Scheme, Lua частично.. Ocaml ещё можешь глянуть.

ficl не?

может оно http://root.cern.ch/twiki/bin/view/ROOT/CINT ?

JavaScript, однозначно.

http://developer.mozilla.org/en/docs/SpiderMonkey

Scala. JVM встраивается без проблем, если размеры устроят.

ghci?

embeddable common lisp

фу! встраивать CL -- убиццо, тем более CL далеко не функционален, обычно на нем вообще суровую императивщину пишут (щас меня убъют^Wзакидают какашками).

scheme наше всио!

>> CL далеко не функционален

4.2 Что-тот мешает на нем реализовать чистый функциональный код?

>> scheme наше всио!

scheme боле функционален только в том плане, что RnRS отсутствуют всякие do, dolist и проч. Хотя любая более или менее вменяемая реализация scheme такая же жирная как и cl в плане императивщины.

А еще Scheme - официальный язык расширений GNU.

Ну если на "что-то вроде облегченной версии хаскеля" советуют Схему и Луа, мне сам ТНБ велел посоветовать Питон :)

++JavaScript