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

Я експериментував з Lisp (насправді Scheme) і виявив, що це дуже гарна мова, про яку мені цікаво дізнатися більше. Однак, схоже, що Лісп ніколи не використовується у серйозних проектах, і я не бачив його як бажаного навику в жодній публікації роботи. Мені цікаво почути від того, хто використовував Лісп чи бачив його вжитому в "реальному світі", або хто знає, чи вважається це суто академічною мовою.

Franz, Inc. надає вичерпний список історій успіху на своєму веб-сайті. Однак:

Не вважайте, що Lisp корисний лише для анімації та графіки, AI, біоінформатики, B2B та електронної комерції, обміну даними, додатків EDA / напівпровідників, експертних систем, фінансів, інтелектуальних агентів, управління знаннями, механічного CAD, моделювання та моделювання, Природна мова, оптимізація, дослідження, аналіз ризиків, планування, телекомунікації та веб-авторинг лише тому, що це єдині речі, які вони траплялися в списку. - Кент Пітман

Тут можна знайти й інші історії успіху:  http://lisp-lang.org/success/

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

Чи враховується елісп Emacs? Це саме «реальний світ», з яким я знайомий (хоча я не впевнений, що Emacs теж вважається «реальним світом»).

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

(Відмова: я працюю там.)

Історія підйому та падіння Ліспа в лабораторії реактивного руху

як невеликий запуск ми створили те, що деякі називають "сервером додатків". але насправді це лише купа інтегрованих загальних бібліотек Lisp для підключення sql та веб-додатків. деякі деталі доступні на сторінці проекту cl-dwim

використовуючи це, ми розробили та керуємо веб-додатком для угорського уряду, яке збирає дані від органів місцевого самоврядування та розраховує відповідну частину бюджету країни. це другий бюджет, який ми плануємо зараз.

у нього близько 4000 користувачів, і він працює на кластері комп'ютерів.

щодо "академічної мови": ми граємо з такими речами, як наполегливе продовження моделювання бізнес-процесів. це якийсь випадковий код lisp з кількома додатковими примітивами, пов'язаними з процесом, та кількома обмеженнями. він може зупинитися у випадкових точках коду і заснути (зайти в базу даних), поки він чекає якоїсь зовнішньої події.

це практичне чи академічне? тобі вирішувати... :)

Спочатку Reddit був написаний у Ліспі, а згодом переписаний на Python. Існує хороший аналіз перемикача і що це означає для Lisp у пошуку Findp .

Пол Грехем використовував та писав про ViaWeb, що було написано в LISP

Про це читайте тут - Побиття середнього

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

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

Досить недавній проект з відкритим кодом, який все ще користується послідовною та значною діяльністю в розвитку, - це LilyPond .

Це програма для музичних нотацій, яка приймає текстовий файл, що легко записати, і перетворює його в гарну ноту (pdf-файли). Пропонує всілякі способи поспілкуватися з результатом, якщо ви хочете. Він навіть може створити пристойні файли midi. Я використовую її, коли мені потрібно створити приємну ноту, з якої читатимуть інші музиканти. Я думаю, що це краще, ніж Фінале, і це безкоштовно !

У комерційній категорії також є гравер "Ігор" Ігоря . На жаль, сайт не дозволяє мені розміщувати пряме посилання на сторінку, яка розповідає про Lisp, тому перейдіть до завантажень і подивіться внизу на посилання "Lisp".

Також є Naughty Dog (компанія з комп'ютерних ігор), яка використовує Lisp у своїх іграх. Ця стаття розповідає про це і навіть показує деякий код.

І є багато інших, про яких згадувалося і пов’язано, але це головні, які перегукуються зі мною (будучи композитором / програмістом / геймером / ... типом).

Якби я зараз запустив свій власний великий проект програмного забезпечення, я б прийняв мовне рішення, виходячи з вищезазначених критеріїв. Звичайно, я люблю Lisp, CLOS - приголомшливий, справжній лексичний скелінг, макроси Lisp - це дуже круто (при використанні за вказівкою), і особисто мені дуже подобається синтаксис Lisp. […] Але це зайняло б багато або вимагало особливих обставин, щоб переконати мене обрати Lisp для великого програмного проекту, якби я відповідав за вибір. - Ден Вайнреб

Деякі новітні з них:

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

Перші три з них були написані за допомогою веб-фреймворку Weblocks. Wigflip і Clutu використовують чистий Hunchentoot.

Тепер отримайте кодування! :)

Космічний телескоп Хаббл планується використовувати інструменти планування Lisp. Космічний човник був. Телескоп Вебб буде. Компанія, на яку я пишу Lisp, аналізує мільярди доларів претензій на медичне страхування і зростає на ~ 30% на рік навіть через рецесію. Нас купила величезна компанія, і один з наших програмістів за рік відповідав (фактично покращився) виходу програмного забезпечення (величезної компанії) для аналізу претензій Medicare, починаючи з нуля, сам. Код (величезної компанії), не в Ліспі, зайняв 6 років і кілька програмістів. Проблема в кар’єрному плані полягає в тому, що занадто багато слухають павутинку про "багато дратуючих дурних дужок" тощо. Більшість менеджерів цього не "отримують", а вони мають проект, достатньо відомий мовою, щоб вони могли мікро-керувати. Вони думають "

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

Пітер Крістенсен склав чудовий перелік (фінансово) успішних лісп-компаній.

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

Існує безліч компаній, проектів та продуктів, які використовують Lisp у різних ролях - я працював над кількома з них.

Є два релевантні моменти:

1. ви ніколи не знаєте, що ваш останній елемент побутової електроніки був побудований із програмою Common Lisp або навіть запрограмований у ній, або що якась послуга, яку ви використовуєте, працює на сервері Lisp. Неправильно було б зробити висновок, що Лісп "ніколи не використовується".

2. … І, як і стільки доменів, ці завдання ніколи не з’являлися на Monster.com. Тільки тому, що ви ніколи не бачили публікацію вакансій, це не означає, що там немає можливостей, необхідних для Lisp чи потрібних інструментів для роботи.

Я вважаю, що плагінова система GIMP заснована на схемі. Я не знаю, чи це повністю "реальний світ", але це, мабуть, практичне застосування Лісп.

Знайдіть ACL2 . Це формальний логічний двигун, заснований на ліпі, який використовується для ряду проектів "реального світу", таких як формальні методи забезпечення програмного забезпечення та докази правильності обладнання апаратів з плаваючою комою.

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

Якщо мої плани виправдуються, ми всі будемо використовувати схему через 5 років! ; стор

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

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

Лісп використовується в алгоритмічній музичній композиції в реальному світі з бібліотекою Common Music . Примітки Ріка Таубе з Metalevel - це чудовий вступний текст до теми, який містить купу прикладів у Lisp для складання. Дивіться тут каталог прикладів та копію тексту тут .

Ну, навряд чи це мейнстрім, але я використовую Lisp для більшої частини свого дослідницького коду, наскільки це керовано. Це, безумовно, найкраща мова, яку я знайшов для збалансованості динамічності та виразності, в той же час створюючи пристойні показники чисельності тощо.

Google Inventor написано на схемі

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

Меттью Ерік Бассетт про використання ракетки у кіноіндустрії: 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", які надзвичайно схожі на сучасні робочі станції, але які були "аж донизу". Устаткування Lisp врешті-решт втратило Intel (як і все інше). Програмне забезпечення Lisp врешті-решт програло C / C ++. Існує безліч теорій, чому це все так. http://www.andromeda.com/people/ddyer/lisp/

Мова програмування схеми використовується як сценарій мови програмою FLUENT Flow Modeling Software (обчислювальна динаміка рідини, CFD).

Для програми AutoCAD AutoLISP / Visual LISP дуже багато використовуються для реальних проектів, і існує велика спільнота користувачів.

Я бачу, що мало хто вже згадував про це, але Lisp широко використовується в розробці користувальницького Autocad. Autocad включає вбудований інтерпретатор Lisp. Це один з найпростіших способів розширення продукту і забезпечує можливість швидкого підвищення продуктивності.

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

Autocad пропонує ряд інших способів налаштувати свої продукти; ObjectARX (C ++), VB, C # тощо. Інтерфейс lisp на сьогоднішній день найпростіший для вивчення та впровадження. І більшість інших середовищ розробників використовує Lisp певним чином.

Інтерпретатор lisp був доступний в дуже ранній версії Autocad і отримав назву Змінні та вирази. Він був досить обмеженим, але набув такого успіху у користувачів, що додаткові функції були швидко додані. Пізніше з'явився повноцінний візуальний IDE (я думаю, у версії 2000 року).

Мені б не подобалося здогадуватися, скільки мільйонів (мільярдів?) Рядків Lisp-коду доступно для Autocad. Пошук у Google на "autocad .lsp" повертає 2,3 мільйона звернень.

Гаразд, достатньо набрати текст, він знову працює для мене, пишучи більше пісні для мого поточного проекту :)