Lisp w prawdziwym świecie

Poeksperymentowałem z Lispem (właściwie Scheme) i stwierdziłem, że jest to bardzo piękny język, o którym chciałbym dowiedzieć się więcej. Wygląda jednak na to, że Lisp nigdy nie jest używany w poważnych projektach i nie widziałem go jako pożądanej umiejętności w żadnej ofercie pracy. Interesuje mnie każdy, kto używał Lispa lub widział go używanego w „prawdziwym świecie”, lub kto wie, czy jest to język czysto akademicki.

Franz, Inc. udostępnia na swojej stronie internetowej niewyczerpaną listę historii sukcesu . Jednak:

Proszę nie zakładać, że Lisp jest przydatny tylko do animacji i grafiki, sztucznej inteligencji, bioinformatyki, B2B i handlu elektronicznego, eksploracji danych, aplikacji EDA / półprzewodników, systemów eksperckich, finansów, inteligentnych agentów, zarządzania wiedzą, mechanicznego CAD, modelowania i symulacji, Język naturalny, optymalizacja, badania, analiza ryzyka, planowanie, telekomunikacja i tworzenie stron internetowych tylko dlatego, że są to jedyne rzeczy, które wymienili. - Kent Pitman

Inne historie sukcesu możemy znaleźć tutaj:  http://lisp-lang.org/success/

oraz lista firm, które obecnie używają Common Lisp: https://github.com/azzamsa/awesome-lisp-companies

Czy elisp Emacsa się liczy? To najbardziej znane mi użycie „prawdziwego świata” (chociaż nie jestem pewien, czy Emacs liczy się jako „prawdziwy świat”).

ITA Software używa Common Lisp do swojej taniej wyszukiwarki QPX, która obsługuje między innymi takie strony jak Orbitz , Kayak oraz American i United Airlines. Jest również częściowo używany w nadchodzącym systemie rezerwacji pasażerów dla Air Canada. Paul Graham napisał trochę o Lisp w ITA w przeszłości.

(Uwaga: tam pracuję).

Historia powstania i upadku Lispa w Jet Propulsion Lab

jako mały startup stworzyliśmy coś, co niektórzy nazywają „serwerem aplikacji”. ale w rzeczywistości jest to tylko kilka zintegrowanych wspólnych bibliotek lisp do połączeń sql i aplikacji internetowych. niektóre szczegóły są dostępne na stronie projektu cl-dwim

korzystając z tego opracowaliśmy i obsługujemy aplikację internetową dla węgierskiego rządu, która zbiera dane od samorządów i oblicza odpowiednią część budżetu kraju. to jest drugi budżet, który teraz planujemy.

ma około 4000 użytkowników i działa na klastrze komputerów.

od „języka akademickiego”: bawimy się takimi rzeczami, jak trwałe kontynuacje modelowania procesów biznesowych. jest to losowy kod lisp z kilkoma dodatkowymi prymitywami związanymi z procesami i kilkoma ograniczeniami. może zatrzymać się w losowych punktach kodu i zasnąć (zostać zatwierdzonym do bazy danych), czekając na jakieś zewnętrzne zdarzenie.

czy jest to praktyczne czy akademickie? Ty decydujesz ... :)

Reddit został pierwotnie napisany w Lispie, a później przepisany w Pythonie. Istnieje dobra analiza przełącznika i co to oznacza dla Lisp w Finding Lisp .

Paul Graham używał i pisał o ViaWeb, które zostało napisane w LISP

Przeczytaj o tym tutaj - Beating the Average

Oprogramowanie ITA wykorzystuje sporą ilość CL.

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

Dość nowym projektem open source, który nadal cieszy się konsekwentną i znaczną aktywnością programistyczną, jest LilyPond .

Jest to program do notacji muzycznej, który pobiera łatwy do zapisania plik tekstowy jako dane wejściowe i konwertuje go na piękne nuty (pliki pdf). Oferuje różne sposoby manipulowania wyjściem, jeśli chcesz. Może nawet tworzyć przyzwoicie brzmiące pliki midi. Używam go zawsze, gdy potrzebuję stworzyć ładne nuty, z których będą czytać inni muzycy. Myślę, że to lepsze niż Finale i jest darmowe !

W kategorii komercyjnej jest też Igor Engraver z Notehead . Niestety, witryna nie pozwala mi na umieszczenie bezpośredniego linku do strony, która mówi o Lisp, więc przejdź do pobierania i spójrz na dół, aby znaleźć łącze „Lisp”.

Jest też Naughty Dog (firma zajmująca się grami komputerowymi), która używa Lispa w swoich grach. Ten artykuł mówi o tym, a nawet pokazuje kod.

I jest wiele innych, o których wspomniano i które są powiązane, ale to są główne, które rezonują ze mną (jako kompozytor / programista / gracz / ...).

Gdybym teraz rozpoczął swój własny, duży projekt oprogramowania, podjąłbym decyzję językową w oparciu o powyższe kryteria. Jasne, kocham Lispa, CLOS jest niesamowity, prawdziwe leksykalne skały określające zakres, makra Lispa są fajne (jeśli są używane zgodnie z zaleceniami), a osobiście bardzo lubię składnię Lispa. […] Ale przekonanie mnie, żebym wybrał Lispa do dużego projektu programistycznego, wymagałoby dużo lub specjalnych okoliczności, gdybym był odpowiedzialny za dokonanie wyboru. - Dan Weinreb

Niektóre nowsze:

• Thanandar, niemiecka gra przeglądarkowa: http://www.thanandar.de/
• Aula Polska, polska społeczność przedsiębiorców: http://www.aulapolska.pl/
• LAMsight, aplikacja do badań medycznych: https://www.lamsight.org/
• Wigflip, plac zabaw głupich gfx: http://wigflip.com/ :)
• Clutu, wieloosobowe krzyżówki AJAX: http://www.clutu.com/

Pierwsze trzy z nich zostały napisane przy użyciu Weblocks, frameworku WWW CL. Wigflip i Clutu używają czystego Hunchentoot.

Teraz zacznij kodować! :)

Kosmiczny Teleskop Hubble'a jest planowany przy użyciu narzędzi planowania Lisp. Wahadłowiec był. Teleskop Webba będzie. Firma, którą piszę Lisp, zajmuje się analizą miliardów dolarów roszczeń z tytułu ubezpieczenia zdrowotnego i rośnie w tempie ~ 30% rocznie, nawet podczas recesji. Zostaliśmy kupieni przez wielką firmę i jeden z naszych programistów dopasował (właściwie ulepszył) wyniki oprogramowania (wielkiej firmy) do analizy roszczeń Medicare, zaczynając od zera, samodzielnie, w ciągu roku. Kod (wielkiej firmy), nie w Lispie, zajął 6 lat i kilku programistów. Problem z karierą polega na tym, że zbyt wielu słucha gadanina o „wielu irytujących, głupich nawiasach” i tak dalej. Większość menedżerów nie „rozumie” i wolałaby mieć projekt w języku na tyle znanym, aby mogli zarządzać nim w skali mikro. Myślą "

Uważam, że Autocad ma rozszerzenia, które używają Lisp do rozszerzenia produktu. Zobacz AutoLISP .

Peter Christensen przygotował obszerną listę (finansowo) odnoszących sukcesy firm lisp.

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

Istnieje wiele firm, projektów i produktów, które używają Lispa w różnych rolach - pracowałem dla kilku z nich.

Istnieją dwa istotne punkty:

1. możesz nigdy nie wiedzieć, że twój najnowszy element elektroniki użytkowej został zbudowany z Common Lisp lub nawet zaprogramowany w nim, albo że jakaś usługa, z której korzystasz, jest zasilana przez serwer Lisp. Wniosek, że Lisp „nigdy nie jest używany” byłby nieprawidłowy.

2. … I, podobnie jak w przypadku wielu domen, te oferty pracy nigdy nie pojawiły się na Monster.com. To, że nigdy nie widziałeś oferty pracy, nie oznacza, że ​​nie ma tam żadnych ofert pracy wymaganych przez Lisp lub odpowiednich narzędzi do pracy.

Uważam, że system wtyczek GIMP jest oparty na Scheme. Nie wiem, czy jest to całkowicie „prawdziwy świat”, ale przynajmniej wydaje się, że jest to praktyczne zastosowanie Lispa.

Wyszukaj listę ACL2 . Jest to silnik logiki formalnej oparty na lisp, który był używany w wielu projektach w „prawdziwym świecie”, takich jak formalne metody bezpieczeństwa oprogramowania i dowody poprawności sprzętu zmiennoprzecinkowego.

Daleko od wyczerpującej listy w http://www.franz.com/success/all_customer_apps.lhtml

Jeśli moje plany się sprawdzą, wszyscy będziemy używać Scheme za 5 lat! ; p

Byłem pod dużym wrażeniem, kiedy dowiedziałem się, że PRISM („Projekt Prism to długoterminowy projekt tworzenia narzędzi oprogramowania do planowania radioterapii, w tym narzędzi sztucznej inteligencji, a także ręcznych systemów symulacji”) jest napisany w Common Lisp.

W swojej pracy piszę oprogramowanie wykorzystujące DICOM i muszę powiedzieć, że napisanie dobrej implementacji DICOM jest trudnym zadaniem. W swoim raporcie opisują, w jaki sposób Common Lisp pozwolił im zbudować dobrą implementację DICOM, która jest lepsza (przynajmniej pod pewnymi względami) niż inne implementacje przy mniejszym wysiłku.

Lisp jest używany w algorytmicznej kompozycji muzycznej w świecie rzeczywistym z biblioteką Common Music . Rick Taube's Notes from the Metalevel to świetny tekst wprowadzający do tematu, który zawiera kilka przykładów komponowania w Lisp. Zobacz katalog przykładów tutaj i kopię tekstu tutaj .

Cóż, raczej nie jest to główny nurt, ale używam seplenienia w tak dużej części mojego kodu badawczego, na ile jest to możliwe. Jest to zdecydowanie najlepszy język, jaki znalazłem, jeśli chodzi o równowagę dynamizmu i ekspresji, a jednocześnie generuje przyzwoitą wydajność dla liczb itp.

Google App Inventor jest napisany w Scheme

Właśnie zdałem sobie sprawę, że Maxima , program do algebry symbolicznej, jest napisany w Common Lisp. Używam tego od jakiegoś czasu i myślę, że jest to również bardzo dobry przykład z życia.

Matthew Eric Bassett o wykorzystaniu Racket w przemyśle filmowym: http://www.youtube.com/watch?v=37owCjWnkK0

Daniel Liebgold o Racket i PS3: http://www.youtube.com/watch?v=oSmqbnhHp1c

GNU Make jest rozszerzalne za pomocą schematu. Sprawa do programowania w świecie rzeczywistym :)

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

Lisp podjął próbę skoku do prędkości światła na początku lat 80-tych. Zanim pojawiły się komputery PC, były produkowane komercyjnie "Maszyny Lisp", które bardzo przypominały nowoczesne stacje robocze, ale które sepleniły "do samego końca". Sprzęt Lisp ostatecznie przegrał na rzecz Intela (podobnie jak wszystko inne). Oprogramowanie Lisp ostatecznie przegrało z C / C ++. Istnieje wiele teorii, dlaczego tak jest. http://www.andromeda.com/people/ddyer/lisp/

Język programowania schematów jest używany jako język skryptowy przez oprogramowanie do modelowania przepływu FLUENT (obliczeniowa dynamika płynów, CFD).

W przypadku aplikacji AutoCAD AutoLISP / Visual LISP są często używane w rzeczywistych projektach i istnieje duża społeczność użytkowników.

Widzę, że kilka osób już o tym wspomniało, ale lisp jest szeroko stosowany w niestandardowym rozwoju Autocad. Autocad zawiera wbudowany interpreter lisp. Jest to jeden z najprostszych sposobów na rozszerzenie produktu i daje możliwość szybkiego zwiększenia produktywności.

Kompilacja nie jest wymagana po stronie użytkownika, a 1 lub więcej wyrażeń lisp liniowych można wprowadzić w wierszu poleceń i wykonać natychmiast na rysunku. Projektantom i kreślarzom, którzy chcą zrobić nawet mały krok w nauce podstaw seplenienia, może to zapewnić ogromne korzyści w zakresie produktywności.

Autocad zapewnia wiele innych sposobów dostosowywania swoich produktów; ObjectARX (C ++), VB, C #, itd. Interfejs lisp jest zdecydowanie najłatwiejszy do nauczenia się i wdrożenia. A większość innych środowisk deweloperskich w jakiś sposób używa lisp.

Interpreter lisp został udostępniony w bardzo wczesnej wersji programu Autocad i został nazwany Zmienne i wyrażenia. Był dość ograniczony, ale okazał się takim sukcesem dla użytkowników, że szybko dodano dodatkowe funkcje. Pełnowymiarowe wizualne IDE było później (chyba w wersji 2000).

Nie chciałbym zgadywać, ile milionów (miliardów?) Linii kodu lisp jest dostępnych dla Autocad. Wyszukiwanie w Google w „autocad .lsp” zwraca 2,3 miliona trafień.

Ok, dość pisania, wróciło do pracy, piszę więcej seplenienia dla mojego obecnego projektu