Лисп в реальном мире

Я экспериментировал с Lisp (на самом деле Scheme) и обнаружил, что это очень красивый язык, о котором мне интересно узнать больше. Тем не менее, похоже, что Lisp никогда не используется в серьезных проектах, и я не видел его в списке желаемых навыков при публикации вакансий. Мне интересно узнать мнение любого, кто использовал Lisp или видел его в «реальном мире», или кто знает, считается ли он чисто академическим языком.

Franz, Inc. предоставляет исчерпывающий список историй успеха на своем веб-сайте. Тем не мение:

Пожалуйста, не думайте, что Lisp полезен только для анимации и графики, искусственного интеллекта, биоинформатики, B2B и электронной коммерции, интеллектуального анализа данных, приложений EDA / Semiconductor, экспертных систем, финансов, интеллектуальных агентов, управления знаниями, механических САПР, моделирования и симуляции, Естественный язык, оптимизация, исследования, анализ рисков, планирование, телекоммуникации и веб-авторинг только потому, что это единственное, что им довелось перечислить. - Кент Питман

Мы можем найти другие истории успеха здесь:  http://lisp-lang.org/success/

и список текущих компаний, использующих Common Lisp: https://github.com/azzamsa/awesome-lisp-companies

Считается ли Emacs elisp? Это наиболее «реальный мир», с которым я знаком (хотя я не уверен, что Emacs также считается «реальным миром»).

ITA Software использует Common Lisp для своей поисковой системы QPX, которая обеспечивает работу таких сайтов, как Orbitz , Kayak , American и United Airlines и многих других. Он также частично используется для будущей системы бронирования пассажиров для Air Canada. В прошлом Пол Грэм написал немного о Лиспе на ITA.

(Отказ от ответственности: я работаю там.)

История взлета и падения Лисп в Лаборатории реактивного движения

В качестве небольшого стартапа мы создали нечто, что некоторые люди называют «сервером приложений». но на самом деле это просто набор интегрированных общих библиотек lisp для подключения к SQL и веб-приложений. некоторые подробности доступны на странице проекта cl-dwim

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

у него около 4000 пользователей, и он работает на кластере компьютеров.

что касается «академического языка»: мы играем с такими вещами, как постоянные продолжения моделирования бизнес-процессов. это какой-то случайный код LISP с несколькими дополнительными примитивами, связанными с процессом, и несколькими ограничениями. он может останавливаться в произвольных точках в коде и засыпать (попадать в базу данных), ожидая какого-то внешнего события.

это практично или академично? Вам решать... :)

Reddit изначально был написан на Лиспе, а затем переписан на Python. Есть хороший анализ переключателя и того, что он значит для Lisp, в Finding Lisp .

Пол Грэм использовал и написал о ViaWeb, который был написан на LISP

Читайте об этом здесь - Beating the Average

Программное обеспечение ITA использует изрядное количество CL.

http://www.itasoftware.com/careers/l_e_t_lisp.html?catid=8

Довольно недавним проектом с открытым исходным кодом, который все еще пользуется последовательной и значительной разработкой, является LilyPond .

Это музыкальная программа для записи нот, которая принимает легко вводимый текстовый файл и преобразует его в прекрасные ноты (PDF-файлы). Предлагает всевозможные способы возиться с выводом, если хотите. Он может даже производить достойно звучащие миди-файлы. Я использую его всякий раз, когда мне нужно написать хорошую ноты, из которой другие музыканты будут читать. Я думаю, что это лучше, чем Финал, и это бесплатно !

В коммерческой категории есть и Игорь Гравер из Notehead . К сожалению, сайт не позволяет мне публиковать прямую ссылку на страницу, которая говорит о Лиспе, поэтому перейдите к загрузкам и посмотрите внизу ссылку «Лисп».

Также есть Naughty Dog (компания, занимающаяся компьютерными играми), которая использует Lisp в своих играх. Эта статья рассказывает об этом и даже показывает некоторый код.

И есть много других, которые были упомянуты и связаны с ними, но это основные, которые резонируют со мной (тип композитор / программист / геймер / ... типа).

Если бы я запустил свой собственный крупный программный проект сейчас, я бы принял решение по языку на основе вышеуказанных критериев. Конечно, я люблю Lisp, CLOS - это круто, настоящие лексические рамки, макросы Lisp очень крутые (при использовании по назначению), и лично мне очень нравится синтаксис Lisp. […] Но потребовалось бы много времени или особых обстоятельств, чтобы убедить меня выбрать Lisp для крупного программного проекта, если бы я отвечал за выбор. - Дэн Вайнреб

Некоторые более свежие:

• Thanandar, немецкая браузерная игра: http://www.thanandar.de/
• Aula Polska, польское сообщество предпринимателей: http://www.aulapolska.pl/
• LAMsight, приложение для медицинского обследования: https://www.lamsight.org/
• Wigflip, площадка для глупых GFX: http://wigflip.com/ :)
• Clutu, многопользовательские кроссворды AJAX: http://www.clutu.com/

Первые три из них были написаны с использованием Weblocks, веб-платформы CL. Wigflip и Clutu используют чистый Hunchentoot.

Теперь получите код! :)

Космический телескоп Хаббл планируется с помощью инструментов планирования Лисп. Спейс Шаттл был. Телескоп Уэбба будет. Компания, которую я пишу на Лиспе, анализирует миллиарды долларов страховых случаев и растет на ~ 30% в год даже после рецессии. Мы были куплены огромной компанией, и один из наших программистов сопоставил (фактически улучшил) выпуск программного обеспечения (огромной компании) для анализа заявок Medicare, начиная с нуля, сам по себе, через год. (огромная компания) код, не на Лиспе, занял 6 лет и несколько программистов. Проблема, связанная с карьерой, состоит в том, что слишком многие слушают болтовню о «множестве раздражающих глупых скобок» и так далее. Большинство менеджеров не «понимают» и предпочитают иметь проект на достаточно знакомом языке, чтобы они могли микроуправляться. Они думают "

Я считаю, что в Autocad есть расширения, использующие Lisp для расширения продукта. Смотрите AutoLISP .

Питер Кристенсен составил большой список (в финансовом отношении) успешных компаний, занимающихся LISP.

http://www.pchristensen.com/blog/lisp-companies/

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

Есть два важных момента:

1. вы, возможно, никогда не узнаете, что ваша последняя часть бытовой электроники была построена на Common Lisp или даже запрограммирована в ней, или что некоторые используемые вами службы работают на сервере Lisp. Было бы неверно делать вывод, что Лисп "никогда не используется".

2. ... и, как и многие другие домены, эти вакансии никогда не появлялись на Monster.com. Тот факт, что вы никогда не видели публикацию вакансий, не означает, что там нет никаких возможностей, необходимых для использования в Lisp или подходящих инструментов для работы.

Я полагаю, что система плагинов GIMP основана на Scheme. Я не знаю, является ли это полностью «реальным миром», но это, по крайней мере, практическое применение Lisp.

Посмотрите на ACL2 . Это основанный на lisp движок формальной логики, который использовался для ряда проектов «реального мира», таких как формальные методы в безопасности программного обеспечения и доказательства правильности для оборудования с плавающей точкой.

Далеко не исчерпан список в http://www.franz.com/success/all_customer_apps.lhtml

Если мои планы сработают, мы все будем использовать Scheme через 5 лет! ;п

Я был очень впечатлен, когда узнал, что PRISM («Проект Prism - это долгосрочный проект по созданию программных инструментов для планирования лучевой терапии, включая инструменты искусственного интеллекта, а также системы ручного моделирования») написан на Common Lisp.

На своей работе я пишу программное обеспечение, которое использует DICOM, и я должен сказать, что написание хорошей реализации DICOM является сложной задачей. В своем отчете они описывают, как Common Lisp позволил им создать хорошую реализацию DICOM, которая лучше (по крайней мере, в некоторых отношениях), чем другая реализация с меньшими усилиями.

Lisp используется в реальных алгоритмических композициях с библиотекой Common Music . Заметки Рика Тауба с метауровня - отличный вводный текст к предмету, в котором есть несколько примеров для написания на Лиспе. Смотрите каталог примеров здесь и копию текста здесь .

Ну, это вряд ли мейнстрим, но я использую lisp для большей части своего исследовательского кода, насколько это возможно. На сегодняшний день это лучший язык, который я нашел для баланса динамичности и выразительности, в то же время создавая приличную производительность для чисел и т. Д.

Google App Inventor написан на схеме

Я только сейчас понял, что Maxima , программа для символической алгебры, написана на Common Lisp. Я использовал это в течение довольно долгого времени, и я думаю, что это также очень хороший пример из реальной жизни.

Мэтью Эрик Бассетт об использовании Racket в киноиндустрии: http://www.youtube.com/watch?v=37owCjWnkK0

Даниэль Либголд о ракетках и PS3: http://www.youtube.com/watch?v=oSmqbnhHp1c

GNU Make расширяется с помощью схемы. Случай для программирования реального мира :)

https://www.gnu.org/software/make/manual/html_node/Guile-Integration.html

Лисп попытался прыгнуть до скорости света в начале 80-х. До того, как появились ПК, были коммерчески производимые «Машины Лисп», которые очень похожи на современные рабочие станции, но были «спущены вниз». Аппаратное обеспечение Lisp в конечном итоге уступило Intel (как и все остальное). Программное обеспечение Lisp в конечном итоге уступило C / C ++. Существует множество теорий, почему это все так. http://www.andromeda.com/people/ddyer/lisp/

Язык программирования Scheme используется в качестве языка сценариев программным обеспечением FLUENT Flow Modeling (вычислительная гидродинамика, CFD).

Для приложения AutoCAD AutoLISP / Visual LISP часто используются для реальных проектов, и существует большое сообщество пользователей.

Я вижу, что несколько человек уже упоминали об этом, но lisp широко используется при разработке пользовательских Autocad. Autocad включает в себя встроенный интерпретатор lisp. Это один из самых простых способов расширения продукта, который позволяет быстро повысить производительность.

На стороне пользователя компиляция не требуется, и в командной строке можно ввести 1 или более выражений lisp строки и сразу выполнить на чертеже. Для дизайнеров и чертежников, желающих сделать хотя бы небольшой шаг в изучении основ lisp, это может обеспечить огромный выигрыш в производительности.

Autocad предоставляет ряд других способов настройки своих продуктов; ObjectARX (C ++), VB, C # и т. Д. Интерфейс lisp является самым простым в освоении и реализации. И большинство других сред разработки используют lisp в некотором роде.

Интерпретатор lisp был доступен в очень ранней версии Autocad и назывался переменными и выражениями. Он был довольно ограниченным, но пользовался таким успехом у пользователей, что быстро добавлялись дополнительные функции. Полноценная визуальная IDE была позже (в версии 2000, я думаю).

Я бы не хотел догадываться, сколько миллионов (миллиардов?) Строк кода lisp доступно для Autocad. Поиск в Google по "autocad .lsp" возвращает 2,3 миллиона просмотров.

Хорошо, достаточно набрать текст, он снова работает для меня, пишет больше шуток для моего текущего проекта :)