Выполнение Haskell кода из программы на c/c++

ничего, что haskell это не интерпретируемый язык? (хотя решения есть)

Мне нужно

тебе это не нужно.

Hugs улыбается и машет вам из своего гробика.

Можно сделать сишную обёртку вокруг hint.

P.S. А какой результат нужно возвращать?

Программа на c++ через сокет читает сообщения с кодом на Haskell, потом нужно выполнить этот код.
Результат для c++-программы не важен.

не, ну можно и ghci гонять, и через runhaskell / mueval / ghc-шные привязки прогонять, но вопрос то в том, толи именно ТС хочет.

Можно ещё чуть подробнее? Этот код должен произвести какое-то IO действие? Нельзя ли просто форкнуть runghc?

для каких еще функциональных ЯП такое тоже возможно?

Еще код на Эрланге можно скармливать Эрлангу на лету (erl_eval).

Да, код на haskell тоже пишет/читает в сокеты.
Нужно еще вернуть статус о выполнении кода на haskell - успех/ошибка компляции/ошибка рантайм.
Форкнуть нельзя. Сишный процесс - это демон под рутом, если это важно.

Попробуйте обернуть hint в FFI.

но для каких еще функциональных ЯП такое тоже возможн

См. emacs

elisp что ли?

Примерчик:

-- hint.hs
import Language.Haskell.Interpreter

exec str = do
   l <- runInterpreter $ setImports ["Prelude"] >> interpret str (as::IO ())
   case l of (Right x) -> x

main = exec "print 1"

┌[pts/1: ~/tmp]
└% runghc hint.hs
1

Функцию exec обёртываете в FFI, profit.

P. S.

демон под рутом
через сокет читает сообщения с кодом

Весело у вас там. Хотя если пересылать только чистый код и запускать его с ключом XSafe, то может и не так весело.

для каких еще функциональных ЯП такое тоже возможно?

Common Lisp: ECL

Scheme: s7, TinyScheme, Guile.

J.

Часто слышу от лисперов и эрлангщиков о якобы продвинутых возможностях горячей замены кода. Это сводится к eval, или как?

Мне нужно

Нет, тебе уроки учить нужно

Часто слышу от лисперов и эрлангщиков о якобы продвинутых возможностях горячей замены кода. Это сводится к eval, или как?

Это сводится к образованию. Анимешнегам этого не понять - смотри свои мультики, готовся к окончанию каникул.

готовся к окончанию каникул.

Они уже вчера кончились T_T.

В emacs ядро написано на c (или c++), а все остальное - лисп, можно сказать, что лисп вызывается сишной программой

но для каких еще функциональных ЯП такое тоже возможно?

Lua!
/me прячется под стол