เสียงกระเพื่อมในโลกแห่งความจริง

ฉันได้ทดลองกับ Lisp (จริง ๆ แล้ว Scheme) และพบว่ามันเป็นภาษาที่สวยงามมากที่ฉันสนใจที่จะเรียนรู้เพิ่มเติมเกี่ยวกับ อย่างไรก็ตามปรากฏว่า Lisp ไม่เคยถูกใช้ในโครงการที่จริงจังและฉันไม่ได้เห็นมันเป็นทักษะที่ต้องการในการโพสต์งานใด ๆ ฉันสนใจที่จะได้ยินจากใครก็ตามที่ใช้เสียงกระเพื่อมหรือเห็นมันใช้ใน "โลกแห่งความจริง" หรือใครจะรู้ว่ามันเป็นภาษาวิชาการอย่างแท้จริงหรือไม่

Franz, Inc. นำเสนอรายการเรื่องราวความสำเร็จบนเว็บไซต์ของพวกเขา อย่างไรก็ตาม:

โปรดอย่าสันนิษฐานว่า Lisp นั้นมีประโยชน์เฉพาะสำหรับแอนิเมชันและกราฟิก, AI, ชีวสารสนเทศศาสตร์, B2B และ E-Commerce, การขุดข้อมูล, แอปพลิเคชัน EDA / เซมิคอนดักเตอร์, ระบบผู้เชี่ยวชาญ, การเงิน, ตัวแทนอัจฉริยะ, การจัดการความรู้, CAD เครื่องกล, การสร้างแบบจำลอง ภาษาธรรมชาติการปรับให้เหมาะสมการวิจัยการวิเคราะห์ความเสี่ยงการกำหนดเวลาเทเลคอมและการเขียนเว็บเพียงเพราะสิ่งเหล่านี้เป็นสิ่งที่เกิดขึ้นในรายการเท่านั้น - Kent Pitman

เราสามารถค้นหาเรื่องราวความสำเร็จอื่น ๆ ได้ที่นี่:  http://lisp-lang.org/success/

และรายชื่อ บริษัท ปัจจุบันที่ใช้ Common LISP: https://github.com/azzamsa/awesome-lisp-companies

Elisp ของ Emacs นับหรือไม่? นั่นเป็น "โลกแห่งความจริง" ที่สุดที่ฉันคุ้นเคย (แม้ว่าฉันไม่แน่ใจว่า Emacs ถือเป็น "โลกแห่งความจริง" ด้วย)

ITA Softwareใช้Common LISPสำหรับเครื่องมือค้นหาราคาประหยัด QPXซึ่งให้บริการเว็บไซต์เช่นOrbitz , Kayak , AmericanและUnited Airlines รวมถึงสายการบินอื่น ๆ อีกมากมาย นอกจากนี้ยังใช้เป็นส่วนหนึ่งในระบบการจองผู้โดยสารสำหรับ Air Canada Paul Graham ได้เขียนเล็กน้อยเกี่ยวกับ Lisp ที่ ITA ในอดีต

(ข้อจำกัดความรับผิดชอบ: ฉันทำงานที่นั่น)

เรื่องราวของการเพิ่มขึ้นและลดลงของ Lisp ที่ห้องทดลอง Jet Propulsion

เมื่อเริ่มต้นเล็ก ๆ เราได้สร้างบางสิ่งบางอย่างที่บางคนเรียกว่า "แอพพลิเคชันเซิร์ฟเวอร์" แต่ในความเป็นจริงมันเป็นเพียงกลุ่มของไลบรารีเสียงกระเพื่อมแบบรวมสำหรับการเชื่อมต่อ sql และเว็บแอปพลิเคชัน รายละเอียดบางอย่างสามารถดูได้ที่หน้าโครงการ cl-dwim

การใช้ที่เราได้พัฒนาและใช้งานเว็บแอปพลิเคชันสำหรับรัฐบาลฮังการีที่รวบรวมข้อมูลจากรัฐบาลท้องถิ่นและคำนวณส่วนที่เกี่ยวข้องของงบประมาณของประเทศ นี่เป็นงบประมาณที่สองที่เราวางแผนตอนนี้

มีผู้ใช้ประมาณ 4000 คนและทำงานบนคลัสเตอร์คอมพิวเตอร์

ในฐานะของ "ภาษาทางวิชาการ": เรากำลังเล่นกับสิ่งต่าง ๆ เช่นความต่อเนื่องแบบถาวรสำหรับการสร้างแบบจำลองกระบวนการทางธุรกิจ มันเป็นรหัสเสียงกระเพื่อมสุ่มกับ primitives ที่เกี่ยวข้องกับกระบวนการพิเศษและข้อ จำกัด บางอย่าง มันสามารถหยุดที่จุดสุ่มในรหัสและหลับไป (รับ comitted ในฐานข้อมูล) ในขณะที่รอเหตุการณ์ภายนอกบางอย่าง

มันเป็นประโยชน์หรือนักวิชาการ? คุณตัดสินใจ... :)

เดิมRedditเขียนใน Lisp แล้วเขียนใหม่ภายหลังใน Python มีการวิเคราะห์ที่ดีของสวิทช์และสิ่งที่มันหมายถึงเสียงกระเพื่อมมากกว่าที่เป็นFinding เสียงกระเพื่อม

Paul Graham ได้ใช้และเขียนเกี่ยวกับ ViaWeb ที่เขียนใน LISP

อ่านเกี่ยวกับที่นี่ - เอาชนะค่าเฉลี่ย

ซอฟต์แวร์ ITA ใช้ CL ในปริมาณที่พอใช้

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

โครงการโอเพนซอร์สล่าสุดอย่างเป็นธรรมที่ยังคงเพลิดเพลินกับกิจกรรมการพัฒนาที่สอดคล้องกันและมากเป็นLilyPond

มันเป็นโปรแกรมโน้ตดนตรีที่ใช้ไฟล์ข้อความที่ง่ายต่อการเขียนเป็นอินพุตและแปลงเป็นแผ่นเพลงที่สวยงาม (ไฟล์ pdf) เสนอวิธีการทุกอย่างที่จะทำเล่น ๆ กับเอาท์พุทถ้าคุณต้องการ มันยังสามารถสร้างไฟล์เสียง midi ที่ดี ฉันใช้มันทุกครั้งที่ฉันต้องการผลิตแผ่นเพลงดี ๆ ที่นักดนตรีคนอื่นจะอ่าน ฉันคิดว่ามันดีกว่าตอนจบและฟรี !

ในประเภทเชิงพาณิชย์นอกจากนี้ยังมีNotehead ของอิกอร์ช่างแกะสลัก น่าเสียดายที่เว็บไซต์ไม่อนุญาตให้ฉันโพสต์ลิงก์โดยตรงไปยังหน้าเว็บที่พูดถึง Lisp ดังนั้นให้ไปที่การดาวน์โหลดและดูที่ลิงค์ด้านล่างสำหรับ "Lisp"

นอกจากนี้ยังมี Naughty Dog (บริษัท เกมคอมพิวเตอร์) ที่ใช้ Lisp ในเกมของพวกเขา บทความนี้พูดถึงเกี่ยวกับเรื่องนั้นและยังแสดงรหัสบางอย่าง

และยังมีอีกหลายคนที่ได้รับการกล่าวถึงและเชื่อมโยงไปถึง แต่สิ่งเหล่านี้เป็นสิ่งสำคัญที่สะท้อนกับฉัน (เป็นนักแต่งเพลง / โปรแกรมเมอร์ / นักเล่นเกม / ... ประเภท)

หากฉันเริ่มโครงการซอฟต์แวร์ที่สำคัญของตัวเองตอนนี้ฉันจะตัดสินใจภาษาตามเกณฑ์ด้านบน แน่นอนว่าฉันรัก LISP, CLOS นั้นยอดเยี่ยมมาก, ศัพท์หินจริง ๆ , Lisp macros นั้นเจ๋งมาก (ตอนที่ใช้กำกับ) และโดยส่วนตัวแล้วฉันชอบไวยากรณ์ Lisp [... ] แต่มันต้องใช้เวลามากหรือต้องการสถานการณ์พิเศษเพื่อชักชวนให้ฉันเลือก Lisp สำหรับโครงการซอฟต์แวร์ที่สำคัญถ้าฉันรับผิดชอบในการเลือก - Dan Weinreb

บางรายการล่าสุด:

• Thanandar เกมเบราว์เซอร์เยอรมัน: http://www.thanandar.de/
• Aula Polska ชุมชนผู้ประกอบการโปแลนด์: http://www.aulapolska.pl/
• LAMsight แอปพลิเคชันสำรวจทางการแพทย์: https://www.lamsight.org/
• Wigflip สนามเด็กเล่นของ silly gfx: http://wigflip.com/ :)
• Clutu, AJAX Crossword Puzzles หลายคน: http://www.clutu.com/

สามคนแรกเขียนโดยใช้ Weblocks ซึ่งเป็นเฟรมเวิร์กเว็บของ CL Wigflip และ Clutu ใช้ Hunchentoot บริสุทธิ์

ตอนนี้รับการเข้ารหัส! :)

กล้องโทรทรรศน์อวกาศฮับเบิลมีกำหนดใช้เครื่องมือวางแผนเสียงกระเพื่อม กระสวยอวกาศเดิมคือ กล้องโทรทรรศน์เวบบ์จะเป็น บริษัท ที่ฉันเขียน Lisp สำหรับการวิเคราะห์การเรียกร้องค่าประกันสุขภาพหลายพันล้านดอลลาร์และเติบโตขึ้นที่ 30% ต่อปีแม้ผ่านภาวะเศรษฐกิจถดถอย เราได้รับการซื้อโดย บริษัท ขนาดใหญ่และหนึ่งในโปรแกรมเมอร์ของเราได้ทำการจับคู่ (ปรับปรุงตามจริง) ผลลัพธ์ของซอฟต์แวร์ (บริษัท ขนาดใหญ่) สำหรับการวิเคราะห์การอ้างสิทธิ์ของ Medicare โดยเริ่มจากศูนย์ในปีเดียว รหัสของ บริษัท ใหญ่ไม่ใช่ Lisp ใช้เวลา 6 ปีและโปรแกรมเมอร์หลายคน ปัญหาอาชีพที่ฉลาดคือการที่คนจำนวนมากฟัง twaddle เกี่ยวกับ "วงเล็บโง่ ๆ ที่น่ารำคาญ" และอื่น ๆ ผู้จัดการส่วนใหญ่ไม่ได้ "เข้าใจ" และอยากให้โครงการเป็นภาษาที่คุ้นเคยพอที่จะจัดการได้ พวกเขาคิด "

ฉันเชื่อว่า Autocad มีส่วนขยายที่ใช้ Lisp เพื่อขยายผลิตภัณฑ์ ดูAutoLISP

Peter Christensen ได้รวบรวมรายชื่อ บริษัท ที่ประสบความสำเร็จทางการเงินจำนวนมาก

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

มี บริษัท โครงการและผลิตภัณฑ์มากมายที่ใช้ Lisp ในบทบาทที่หลากหลาย - ฉันทำงานหลายอย่างให้สำเร็จ

มีสองประเด็นที่เกี่ยวข้อง:

1. คุณอาจไม่มีทางรู้ว่าชิ้นส่วนอิเล็กทรอนิกส์สำหรับผู้บริโภคล่าสุดของคุณนั้นถูกสร้างขึ้นด้วยหรือแม้แต่ตั้งโปรแกรมไว้ใน Common LISP หรือบริการบางอย่างที่คุณใช้นั้นขับเคลื่อนโดยเซิร์ฟเวอร์ Lisp มันจะไม่ถูกต้องที่จะสรุปว่า Lisp คือ "ไม่เคยใช้"

2. …และเช่นเดียวกับหลายโดเมนงานเหล่านั้นไม่เคยปรากฏใน Monster.com เพียงเพราะคุณไม่เคยเห็นการโพสต์งานมันไม่ได้หมายความว่าไม่มีโอกาสที่จะต้องใช้ Lisp หรือเครื่องมือที่เหมาะสมสำหรับงาน

ฉันเชื่อว่าระบบปลั๊กอินของ GIMP นั้นเป็นไปตาม Scheme ฉันไม่รู้ว่านี่เป็น "โลกแห่งความเป็นจริง" อย่างสมบูรณ์หรือไม่ แต่อย่างน้อยก็น่าจะเป็นแอปพลิเคชันที่ใช้งานได้จริง

เงยหน้าขึ้นมองACL2 มันเป็นกลไกลอจิกแบบลอจิกที่ใช้สำหรับโครงการ "โลกแห่งความจริง" จำนวนหนึ่งเช่นวิธีการที่เป็นทางการในการรักษาความปลอดภัยซอฟต์แวร์และการพิสูจน์ความถูกต้องสำหรับฮาร์ดแวร์จุดลอยตัว

ห่างไกลจากรายการที่หมดไปในhttp://www.franz.com/success/all_customer_apps.lhtml

ถ้าแผนของฉันหมดไปเราทุกคนจะใช้ Scheme ใน 5 ปีนับจากนี้! ; P

ฉันประทับใจมากเมื่อพบว่าPRISM («โครงการปริซึมเป็นโครงการระยะยาวในการสร้างเครื่องมือซอฟต์แวร์สำหรับการวางแผนการรักษาด้วยรังสีรวมถึงเครื่องมือปัญญาประดิษฐ์เช่นเดียวกับระบบการจำลองด้วยมือ») เขียนด้วย Common LISP

ที่งานของฉันฉันกำลังเขียนซอฟต์แวร์ที่ใช้DICOMและฉันต้องบอกว่าการเขียน DICOM ที่ดีนั้นเป็นงานที่ยาก ในรายงานของพวกเขาพวกเขาอธิบายว่า Common LISP ให้พวกเขาสร้างการใช้งาน DICOM ที่ดีได้อย่างไร (อย่างน้อยก็ในบางวิธี) ที่ดีกว่าการใช้งานแบบอื่น ๆ

Lisp ใช้ในการแต่งเพลงอัลกอริธึมในโลกแห่งความเป็นจริงด้วยไลบรารีเพลงทั่วไป หมายเหตุของ Rick Taube จาก Metalevelเป็นข้อความเกริ่นนำที่ยอดเยี่ยมสำหรับหัวข้อที่มีตัวอย่างมากมายใน Lisp สำหรับการแต่ง ดูตัวอย่างไดเรกทอรีที่นี่และสำเนาข้อความที่นี่

เป็นเรื่องที่ไม่ค่อยสำคัญ แต่ฉันใช้เสียงกระเพื่อมสำหรับรหัสการวิจัยของฉันมากพอที่จะจัดการได้ มันเป็นภาษาที่ดีที่สุดเท่าที่ฉันเคยพบเพื่อความสมดุลของพลังและการแสดงออกในขณะที่ยังคงสร้างประสิทธิภาพที่ดีสำหรับตัวเลข ฯลฯ

Google App Inventor เขียนเป็น Scheme

ฉันเพิ่งรู้ว่าMaximaโปรแกรมสำหรับพีชคณิตเชิงสัญลักษณ์เขียนด้วย Common LISP ฉันใช้มันมาระยะหนึ่งแล้วและฉันคิดว่ามันก็เป็นตัวอย่างชีวิตจริงที่ดีมาก

Matthew Eric Bassett เกี่ยวกับการใช้แร็กเก็ตในอุตสาหกรรมภาพยนตร์: http://www.youtube.com/watch?v=37owCjWnkK0

Daniel Liebgold บน Racket และ PS3: http://www.youtube.com/watch?v=oSmqbnhHp1c

GNU Make สามารถขยายได้ด้วยแบบแผน กรณีสำหรับการเขียนโปรแกรมในโลกแห่งความจริง :)

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

เสียงกระเพื่อมพยายามกระโดดเพื่อแสงไฟในช่วงต้นยุค 80 ก่อนที่จะมีพีซีมีการผลิต "Lisp Machines" ในเชิงพาณิชย์ซึ่งมีลักษณะ superficailly เหมือนเวิร์คสเตชั่ทันสมัย ​​แต่ที่กระเพื่อม "ตลอดทาง" ฮาร์ดแวร์เสียงกระเพื่อมหายไปในที่สุดกับ Intel (เช่นเดียวกับทุกอย่างอื่น) ซอฟต์แวร์เสียงกระเพื่อมหายไปในที่สุด C / C ++ มีหลายทฤษฎีว่าทำไมทั้งหมดนี้เป็นเช่นนั้น http://www.andromeda.com/people/ddyer/lisp/

ภาษาการเขียนโปรแกรมแบบแผนใช้เป็นภาษาสคริปต์โดยซอฟต์แวร์ FLUENT Flow Modeling (การคำนวณโดยพลศาสตร์ของไหล CFD)

สำหรับแอปพลิเคชัน AutoCAD AutoLISP / Visual LISP นั้นมีการใช้งานจำนวนมากสำหรับโครงการจริงและมีชุมชนผู้ใช้จำนวนมาก

ฉันเห็นบางคนได้กล่าวถึงแล้ว แต่เสียงกระเพื่อมใช้กันอย่างแพร่หลายในการพัฒนา Autocad ที่กำหนดเอง Autocad มีล่ามเสียงกระเพื่อมในตัว เป็นหนึ่งในวิธีที่ง่ายที่สุดในการขยายผลิตภัณฑ์และมอบความสามารถในการเพิ่มผลผลิตของคุณอย่างรวดเร็ว

ไม่จำเป็นต้องมีการรวบรวมในด้านผู้ใช้และ 1 หรือมากกว่านั้นคุณสามารถป้อนนิพจน์ lisp บนบรรทัดคำสั่งและดำเนินการได้ทันทีบนรูปวาด สำหรับนักออกแบบและนักเขียนแบบร่างเต็มใจที่จะก้าวไปสู่การเรียนรู้พื้นฐานของเสียงกระเพื่อมเพียงเล็กน้อยก็สามารถสร้างผลประโยชน์มหาศาลได้

Autocad มีวิธีอื่นอีกหลายวิธีในการปรับแต่งผลิตภัณฑ์ของตน ObjectARX (C ++), VB, C # และอื่น ๆ ส่วนต่อประสานเสียงกระเพื่อมเป็นวิธีที่ง่ายที่สุดในการเรียนรู้และนำไปใช้ และสภาพแวดล้อม dev ส่วนใหญ่อื่น ๆ ใช้เสียงกระเพื่อมในบางแฟชั่น

ล่ามเสียงกระเพื่อมทำให้พร้อมใช้งานใน Autocad รุ่นแรก ๆ และเรียกว่าตัวแปรและนิพจน์ มันค่อนข้าง จำกัด แต่ก็ประสบความสำเร็จกับผู้ใช้ที่เพิ่มฟังก์ชั่นเพิ่มเติมอย่างรวดเร็ว IDE ภาพที่ถูกเป่าเต็มรูปแบบนั้นใช้งานได้ในภายหลัง (ในเวอร์ชัน 2000 ฉันคิดว่า)

ฉันเกลียดที่จะเดาจำนวนบรรทัดของ lisp code ที่มีใน Autocad การค้นหาของ Google ใน "autocad .lsp" ให้ผลตอบแทน 2.3 ล้านครั้ง

ตกลงพิมพ์พอมันกลับมาใช้งานได้สำหรับฉันเขียนเสียงกระเพื่อมมากขึ้นสำหรับโครงการปัจจุบันของฉัน :)