buddenПоступил вопрос в связи с открытой нами вакансией по Common Lisp:
Зачем вам функциональные языки? ... Типовая компания, ... . Знание торговли, склада, бухгалтерии. Внезапно, ... Lisp.

...............
Я немного интересовался аналогами в других языках и пришёл к выводу, что такого больше нигде нет. Если я неправ - киньте в меня
тапком, я его внимательно обнюхаю. Особенно интересно будет услышать мнения пользователей J2EE и Visual Basic.
...............


Все что вы пишите, за исключением статической типизации, есть в Ruby.
Но это не удивительно, так как Lisp это один из языков на котором он основан.
Успешно пользуемся всем, что вы описали ..... и сфера деятельности похожа.

авторRuby is a language of careful balance.
Its creator, Yukihiro “Matz” Matsumoto, blended parts of his favorite languages (Perl, Smalltalk, Eiffel, Ada, and Lisp)
to form a new language that balanced functional programming with imperative programming.

budden,

Так как вы написали, "меняю часть исходника, и функция в уже работающем скрипте принимает другой набор параметров"
сделать можно, только я слабо себе представляю, для чего?
"Рефлексия" в Ruby очень мощная и сделать в runtime можно почти что угодно .... с модулями, классам, с отдельными обьектами.
Реализовать остановку скрипта по какому-то событию с открытием интерактивной консоли,
в которой будет доступно все, что есть в данном месте программы (в данной облости видимости).
В этой консоли можно с обьектами и классами делать все, что доступно в языке, даже подключать дополнительные библиотеки
и после этого можно отдать команду на продолжение работы скрипта.

buddenMasterZiv,Работающие ветки кода нарываются на вызов этой функции, вызывается отладчик, ты туда интерактивно входишь, и переопределяешь код вызывающей функции, добавляя новый параметр в вызов, потом запускаешь рестарт, и -- всё ОК ?

Так тоже можно, но это лишняя трата времени.

Всё гораздо прозаичнее: я ищу имя этой функции по всем своим сорсам обычным грепом. Сорсы, вызывающие f, ведь могут быть и не лиспе написаны. Например, я могу из Дельфи (или, к примеру, из 1С) вызвать эту функцию так же, как я вызываю хрпр файрбёрда командой sql. Скажем, в приложении на Дельфи может быть вызов CallAppServer('f',[1,2,3]).

Далее все вхождения правлю.

На самом деле, в практике чаще всего делается ещё проще. Добавляется не обычный параметр, а параметр-ключ. Параметры-ключи всем известны по командам операционной системы, например, в команде winrar a -m4 -v100m есть два ключа: m=4 и v=100m.

В лиспе есть параметры ключи, за одно это его уже можно любить.

Когда я добавляю параметр-ключ, все старые вызовы автоматически остаются правильными и с ними просто не нужно ничего делать.

Реализовано это в лиспе достаточно дуболомно - за счёт лишней косвенности при обращении к функции и за счёт проверок корректности параметров при каждом вызове. Однако, если сравнить с тем же питоном, то лисп всё равно работает намного быстрее. Если нужна производительность, все проверки можно отключить, тогда программа станет небезопасной и сможет падать по Access Violation. Но я этого не делаю, т.к. программа тяжёлая, падение её стоит дорого, а производительности пока вполне хватает.

В Ruby почти ничего "греп-ать" не надо.
Есть возможность найти исходник с помощью метода source_location (как из консоли, так и в runtime)
Например вот этот вызов User.method(:find).source_location вернет такой результат.
[".... /.rvm/gems/ruby-2.0.0-p247@rails3.2/gems/activerecord-3.2.15/lib/active_record/querying.rb", 4]

Что-то на подобиии "Параметр-ключь" в Ruby тоже есть. класс Symbol.
Он используется как в для именнованных параметров методов, так и для очень много чего еще.
Чаще всего Symbol используют как ключи хеш-массивов. В примере выше :find это тоже Symbol.

Ggg_old2 budden: я вам рекомендовал посмотреть на ерланг не потому, что он возможно лучше лиспа (хотя есть мнение что на данный момент он таки да лучше), а потому что:
buddenЯ немного интересовался аналогами в других языках и пришёл к выводу, что такого больше нигде нет. Если я неправ - киньте в меня тапком, я его внимательно обнюхаю.

так что исключительно в целях вашего просвящения поделился тапком :)

Erlang отличный язык, для тех вещей, в которых он силен (распределенные вычисления, дата стриминг),
Ruby (наверно СL-у тоже) в этом с ним трудно тягаться. У нас он частично используется (couchdb).
Серебряной пули нет, каждый язык(платформа) делает что-то лучше других
и здесь выбор больше зависит от типов задач и от личного опыта применения того или другого.

Автор топика много лет знаком с Lisp, для него это идеальный инструмент.
Для меня сейчас это Ruby, хотя за 15 лет я писал много на чём.

PS Будет немного времени, поупражняюсь на CL, все таки родство обязывает :)

budden,
авторрубист, горячая замена нужна для ускорения цикла отладки. Я об этом написал в первом сообщении. Выгоды горячей замены трудно понять, пока не попробуете и у мне до сих пор не удавалось их объяснить кому-то, кто считал это ненужным. Видимо, это трансцендентальное знание, постигаемое только через личный опыт :) Горячая замена в _некоторых_ приложениях не нужна, но таких приложений достаточно мало. В большинстве случаев она полезна - экономит время и силы, снижает сложность.

Горячее изменение кода в Ruby используется очень активно и о преимуществах я знаю.
У меня добавление поля в Базе данных или изменение набора параметров метода как правило тоже
не ведут к каким-то большим изменениям рабочего кода. В большинстве случаев это просто
добавление валидатора и\или разрешения использовать новое поле в так называемых mass assignment-ах.
Просто я не совсем понял, зачем этим пользоваться на стадии отладки (менять поведение методов или классов).
Наверно это потому, что я не пишу какие-то "долгоиграющие" процессы, которые дорого (по времени)
перезапускать и нужно заниматься отладкой и изменением кода на ходу.
У меня в основном это Rails\Sinatra приложения, SOA сервисы и скрипты для автоматизации и запуска по cron-у
Для отладки в полне хватает Ruby консоли.

Можно будет попробовать делать отладку как вы, посмотрим что получится.

И еще, у нас есть существенно различие ...
CL компилируется в машинный код, скомпилированный код может хранится отдельно.
Ruby компилируется в код виртуальной машины _на лету_ т.е. при запуске программы и не хранится отдельно.
По этому приемы отладки могут отличатся.

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

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

Следует читать так: если нужно изменить число параметров функции, я могу добавить в функцию не обычный, а именованный параметр, тогда все ранее описанные обращения к f из уже существующих исходников останутся корректными.

начиная с версии 1.9, в место такой записи


можно писать так


это одно и тоже - param1, param2 и param3 будут являтся Symbol-ами. Просто в 2.0 расширили синтаксис.
так же можно комбинировать обычные параметры и именованные.



авторЯ думаю, я говорил не про то. Это вы пишете про место определения функции f. В лиспе (в SLIME и т.п.) исходник тоже
ищется за одно нажатие кнопки на имени. Для родовых функций ( = методов) можно увидеть список всех определений.

Если мы поменяли набор параметров функции f, мы должны найти все места, где эта функция f _вызывается_. Есть принципиально два пути для этого: информация о ссылках в самой программе и поиск текста. Информация о ссылках даёт результат очень быстро, но она ненадёжна, хотя бы потому, что не весь код может быть в данный момент загружен в память или не весь код скомпилирован с записью информации о ссылках.

Поэтому единственный надёжный способ исправить вызовы функции f без падений в дебаггер - это найти именно все упоминания идентификатора f.

ааа, ну тогда я тоже фактически "греп-аю", пользуюсь поиском\авто заменой в IDE. У меня это Eclipse.

да, еще добавлю .......
Если был метод


и его реализация изменена на


то везде где он вызывается ничего не будет сломано, все будет работать.

Не именованные параметры тоже можно сделать необязательным, если им установить значение по умолчанию.