CL?

Java.

а там возможно изменение кода на лету без компиляции всей программы и при этом чтобы скорость (интерпретатора?) была приемлемой.

Forth

C++ ?

К сожалению только убожество в лице С++.

sbcl компилятор например

Возможно, и там обычно компилятор. Если ты не тролль, то вот ключевые слова: SBCL, Clozure CL (CCL), LispWorks, Allegro CL. Все это хорошие реализации стандарта языка Common Lisp. Последние две - коммерческие, но не значит, что лучшие, хотя хорошие. Книги: Practical Common Lisp (PCL от Siebel) и ANSI Common Lisp (от Пола Грема, Paul Graham).

Да, последняя книга недавно переведена на русский, и ее даже можно заказать.

Ура, лиспосрач! А книгу уже кто-нибудь получил на руки?

PCL

лежит обычно здесь http://lisper.ru/pcl/ хотя не всегда сервер на плаву.

К Common Lisp добавлю Haskell.

Да.

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

Да.

(интерпретатора?)

Компилятора.

Советую выбрать в качестве реализации — SBCL, IDE — GNU Emacs, а учиться лучше всего по Practical Common Lisp Пола Грэма..

а там возможно изменение кода на лету без компиляции всей программы

В Haskell? Я примерно представляю пути, как это можно сделать, но из коробки такой функциональности нет, AFAIK.

В CL приложение (образ) и есть интерпретатор, компилятор. Ты можешь удаленно подключить к у уже запущенной программе с консоли(REPL), и во время ее работы изменять и компилировать различные ее функции, и добавлять новые. По производительности на уровне java. Можешь делать ассемблерные вставки, будет на уровне ассемблера производительность.

Советую выбрать в качестве реализации — SBCL, IDE — GNU Emacs, а учиться лучше всего по Practical Common Lisp Пола Грэма..

Этак и ряды лисперов на ЛОРе пополнить недалеко.

А чё так много лисперов? Как-то не круто уже.

Что там есть новенькое, поэлитнее?

Из новенького Vala есть. ;-)

учиться лучше всего по Practical Common Lisp Пола Грэма..

Грэм написал On Lisp и ANSI CL

Если ты не тролль

WAT.

Точно, PCL написал Peter Seibel. Я ошибся.

Clay тоже вариант

C++

Nemerle Кроме скорости получишь еще и весь .NET как приятное дополнение

LLVM.

Лисперы пусть дальше врут, что их метапрограммирование работает со скоростью C++.

а что не так у racket со скоростью?

кстати C++.

тяжело оптимизированный лиспокод уступает в скорости C++ не больше чем раза в два

Во-первых, только на некоторых «удобных» задачах, во-вторых - при этом выглядит в десять раз блевотнее кода на с++. Автор, не слушай этих троллей.

при этом выглядит в десять раз блевотнее кода на с++.

Если подцепить заразу от местных троллей.

LISP+ собственный бэкенд на LLVM?

(Так (это (же (язык (для (блондинок (всё (правильно))))))))

Что там есть новенькое, поэлитнее?

Agda, Coq?

Слушай, а зачем тебе метапрограммирование? Ну я понимаю руби-бои любят хипстерские фреймворки с «крутым» api. А тебе зачем?

FASM на макросах

http://nimrod-code.org/

Cамомодификация кода мне необходима. Реализую ДСМ-метод автоматического порождения гипотез и еще некоторые элементы AI.

picolisp:

• мощные средства метапрограммирования = более чем достаточно
• высокопроизводительный код real-time приложений ~= Качественный интерпертатор + встроенный в язык вызов с-функций из динамических библиотек (*.so)
• обработка видео потоков = можно организовать через вызов с-функций
• рендеринг графики = через OpenGL, прямой вызов функций из Cairo или библиотеки на твой вкус
• элементы AI = встроенный диалект Prolog'a
• изменение кода на лету без компиляции всей программы и при этом чтобы скорость (интерпретатора?) была приемлемой. = Да + полноценный repl в консоле + приличная интеграция в emacs

http://nimrod-code.org/

уж лучше rust тогда, хотя и глубочайшая альфа

Почему-то никто до сих пор не предложил D. Метапрограммирование там лучше и чище сделано, чем в C++, производительность не хуже.

Если уж хочется совсем низкого уровня и прочего хардкора, то Verilog. Там тоже кой какое метапрограммирование есть, вполне достойное.

Да и сам C++11 тоже вполне уже неплох.

ТСу, скорее всего, нужна кодогенерация, а не интегрированное в язык метапрограммирование. А кодогенерацию можно хоть на M4 делать, а то и вовсе на bash-скриптах с sed-ом.

LLVM в большинстве случаев как из пушки по воробьям. Генерить код на C++ или C проще и эффективнее.

Lua, точнее luajit. Скорость - быстрее только ассемблер. Метапрограммирование есть. Язык очень простой.

Можно сделать по старинке: написать программу на любом удобном ЯП, которая будет генерировать программу на C. 8)

+1 за luajit, luajit 2.x очень интересен. http://luajit.org/download.html

Lua, точнее luajit. Скорость - быстрее только ассемблер.

Ага, ага, для обработки видео в реальном времени. Самому не смешно?

LuaJit в некоторых задачах быстрее си в 10 раз.

К той арифметике (следует заметить, очень сильно параллелящейся), которая применяется в обработке видео, все эти задачи никакого отношения не имеют. В числодроблении luajit - тормоз, которому даже до Java еще очень далеко.

LuaJit в некоторых задачах быстрее си в 10 раз.

Ссылочку можно, а то звучит слишком фантастично?