เสียงกระเพื่อมยังมีคุณสมบัติพิเศษที่ไม่ได้ใช้กับภาษาการเขียนโปรแกรมอื่น ๆ หรือไม่?

เสียงกระเพื่อมยังมีคุณสมบัติพิเศษที่ไม่ได้ใช้กับภาษาการเขียนโปรแกรมอื่น ๆ หรือไม่?

โดย Lisp ฉันหมายถึงภาษาการเขียนโปรแกรม Lisp ทั้งหมดโดยรวม ฉันได้รับการบอกว่า Lisp น่าทึ่งและรู้ว่าหลายภาษาได้รับแรงบันดาลใจจาก Lisp แต่ Lisp ยังมีคุณสมบัติการออกแบบพิเศษที่ไม่สามารถทำได้ในภาษาอื่น ๆ ได้หรือไม่?

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

ฉันพลาดอะไรไปหรือเปล่าและ "Lisp ยังต่างกัน"

หรือฉันโชคดีเพราะภาษาสมัยใหม่อื่น ๆ ได้ขโมยส่วนที่ดีทั้งหมดจาก Lisp ดังนั้นมันจึงไม่จำเป็นที่จะต้องขุดลงไปในวงเล็บ Lisp โลกและ "Lisp ก็แตกต่างกัน"

การอ้างอิงที่ยอมรับสำหรับชนิดของคำถามนี้พอลเกรแฮมสิ่งที่ทำให้แตกต่างกันชัด คุณสมบัติหลักที่เหลืออยู่สองประการของ Lisp ที่ไม่สามารถใช้งานได้อย่างกว้างขวางตามบทความนี้ ณ เวลาที่ทำการเขียนคือ:

8. สัญลักษณ์สำหรับรหัสโดยใช้สัญลักษณ์ต้นไม้

9. ภาษาทั้งหมดพร้อมใช้งานเสมอ ไม่มีความแตกต่างที่แท้จริงระหว่างเวลาอ่านเวลาคอมไพล์และรันไทม์ คุณสามารถรวบรวมหรือเรียกใช้รหัสในขณะที่อ่านอ่านหรือเรียกใช้รหัสในขณะที่รวบรวมและอ่านหรือรวบรวมรหัสที่รันไทม์

คำอธิบายจะกล่าวถึงแต่ละจุดและตั้งชื่อภาษายอดนิยมที่มีคุณสมบัติดังกล่าว

8 ซึ่ง (กับ 9) เป็นสิ่งที่ทำให้มาโคร Lisp เป็นไปได้จนถึงตอนนี้ยังคงเป็นเอกลักษณ์ของ Lisp ซึ่งอาจเป็นเพราะ (a) มันต้องการ parens เหล่านั้นหรือบางสิ่งที่แย่มากและ (b) หากคุณเพิ่มพลังที่เพิ่มขึ้นในขั้นสุดท้าย คุณไม่สามารถอ้างสิทธิ์ได้ประดิษฐ์ภาษาใหม่อีกต่อไป แต่จะได้ออกแบบภาษา Lisp ใหม่ -)

โปรดทราบว่าบทความนี้ได้รับการแก้ไขครั้งล่าสุดในปี 2545 และในช่วง 11 ปีที่ผ่านมามีภาษาใหม่ที่หลากหลายซึ่งบางภาษาอาจรวมคุณลักษณะ LISP เหล่านี้ทั้งหมดไว้ในการออกแบบของพวกเขา

คำถามเป็นคำถามที่ตอบยากเพราะใครบางคนจะต้องรู้ทุกภาษาเพื่อที่จะรู้ว่าไม่มีใครมีคุณสมบัติเฉพาะใน Lisp ดังนั้นต่อไปนี้จะขึ้นอยู่กับภาษาที่ฉันมี

จากด้านบนของหัวเงื่อนไขเป็นสิ่งที่ฉันไม่ได้เห็นในภาษาอื่น คิดว่า 'ข้อยกเว้น' แต่ที่ที่สแตกการโทรไม่ได้ถูกคลายออกและที่ที่ผู้โทรสามารถส่งค่าการกู้คืนไปยังไซต์ข้อยกเว้น แต่ไม่รบกวนการสแต็กการโทรในระหว่างตัวจัดการและแหล่งที่มาของข้อยกเว้น เพื่อความเป็นธรรมนี่เป็นเพียงแอปพลิเคชันพิเศษสำหรับการต่อเนื่องดังนั้น Ruby และ Scheme (อย่างน้อย) สามารถทำสิ่งนี้ได้

ระบบมาโครของ Lisp ได้รับประโยชน์จากความสม่ำเสมอ / ความเหมือนจริง แต่Scala กำลังวางแผนที่จะรวมพวกเขาเป็นคุณลักษณะที่มีความเสถียรใน 2.12และTemplate Haskellอ้างคุณสมบัติที่คล้ายกัน ฉันยืนยันว่าพวกเขาจะซับซ้อนกว่า syntax มากกว่ากับ Lisp แต่การคอมไพล์เวลาของรหัสจะอยู่ที่นั่นโดยไม่คำนึงถึง

ลองคิดดูสิว่าการสร้างรูปแบบตรงนั้นเป็นมาโครชนิดเดียวที่มีให้ใน Lisp: ฉันไม่เคยเห็นคอมไพเลอร์หรือมาโครของผู้อ่านที่อื่น

ความสามารถของภาษาถิ่นบางตัว (เช่นSBCL ) เพื่อบันทึกภาพกระบวนการที่สมบูรณ์และกลับมาทำงานได้นั้นยอดเยี่ยม แต่ก็ไม่ใช่เรื่องแปลก: Smalltalkได้ทำสิ่งนั้นมานานหลายสิบปีแล้ว

ภาษาอื่น ๆ อีกมากมายอนุญาตให้ทำการทำลายเมื่อเปิดอาร์เรย์ แต่วิธี # 'และ #' ค่าหลายค่า -bind / let-values ​​ยังคงดูเหมือนจะเฉพาะเจาะจงกับ Common Lisp และ Scheme (ซึ่งยังสามารถทำการทำลาย 'ปกติ' ได้เช่นกัน ) Perl 'wantarray' อนุญาตให้ฟังก์ชั่นเพื่อตรวจสอบว่ามันถูกเรียกในเกลา, รายการหรือเป็นโมฆะบริบทเพื่อให้สามารถปรับค่าตอบแทนในลักษณะที่คล้ายกัน (--ish) แต่ฉันไม่เห็น 'จริง' หลายคืนค่านอก ของโครงการ / CL

ในแง่ของคุณสมบัติทางภาษาอาจมีไม่มากที่ Lisp สามารถทำสิ่งที่ภาษาอื่นไม่สามารถทำได้ อย่างไรก็ตามมันคืออะไรเป็นภาษาที่มีการแสดงรหัสในแง่ของโครงสร้างข้อมูลของตัวเองทำให้ Big Idea ™ - รหัสนั้นเป็นข้อมูลซึ่งเป็นสิ่งที่ง่ายต่อการใช้งาน

หลังจากหลายทศวรรษที่ผ่านมาฉันไม่คิดว่าจะมีอะไรพิเศษเฉพาะกับเสียงกระเพื่อม แต่แม้กระทั่งทุกวันนี้ก็มีสิ่งที่น่าสนใจมากมายที่หาได้ยากจาก Lisps บางสิ่งที่อยู่ในใจ:

• ระบบวัตถุคุณภาพสูงที่มี meta-โปรโตคอลที่ซับซ้อน (เช่น CLOS) ไม่ได้รับความนิยมจากระยะไกล
• หลายวิธีปรากฏขึ้นเป็นครั้งคราว แต่คนส่วนใหญ่ไม่เคยได้ยินเกี่ยวกับพวกเขา
• ดังที่คนอื่น ๆ ได้ชี้ให้เห็นว่าระบบเงื่อนไขค่อนข้างซับซ้อนเมื่อเทียบกับกลไกการจัดการข้อยกเว้นที่เป็นที่นิยม
• การเป็นตัวแทนที่กะทัดรัดของความหมายของภาษา (eval) วิธีการเสริมอำนาจเพื่อกำหนดภาษาของคนและทำให้พร้อมใช้งานสำหรับการปรับตัวที่ลึกลงไปตรงไปตรงมา (ดูSICP ) - ฟังก์ชั่น "eval" ของภาษายอดนิยมในปัจจุบัน

ในที่สุดมีอะไรอีกมากมายให้เรียนรู้จาก Lisp ที่ไม่เกี่ยวกับภาษา แต่กลายเป็นส่วนหนึ่งของประวัติ Lisp และเสียเวลา เช่น Interlisp, Symbolics Genera, ฯลฯ ... หากคุณไม่เคยใส่ Genera ให้ดูที่หัวข้อ comp.lang.lisp นี้ที่ Kent Pitman อธิบายว่า "Emacs เป็นเพียงเงาสีซีดของ Genera Zmacs" ซึ่งทั้งหมดถูกเปิดใช้งานโดย มีระบบเสียงกระเพื่อมที่มีประสิทธิภาพซึ่ง Zmacs เป็นส่วนหนึ่งของซึ่งวิ่งบนเครื่องเสียงกระเพื่อม

มันไม่จำเป็นต้องเป็นคนเดียวบางคุณลักษณะ มันคือรูปลักษณ์และความรู้สึกโดยรวมและฟีเจอร์บางอย่างทำงานร่วมกันได้อย่างไร

JavaScript หรือ Java มีคุณสมบัติมากมายของ Lisp (เครื่องเสมือน, คอมไพเลอร์ / ผู้ประเมิน, การรวบรวมขยะ ฯลฯ ) แต่ JavaScript เช่นไม่มีส่วนการเขียนโปรแกรมสัญลักษณ์มันขาดความสามารถทางคณิตศาสตร์ (ภายในมีเพียงลอย) มันขาดการจัดการข้อผิดพลาดและอื่น ๆ

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

ตอนนี้บางสิ่งอย่างเช่นจาวาสคริปต์ก็ถูกใช้เพื่อขยายโปรแกรมโดยทั่วไปคือเว็บเบราว์เซอร์ แต่เวลาส่วนใหญ่นั้นไม่ค่อยมีการเขียนโปรแกรมเมตาใน JavaScript - นอกเหนือจากการแฮ็กOOP

ตัวอย่าง:

หนึ่งสามารถใช้ซอฟต์แวร์คณิตศาสตร์ขั้นสูงทั่วไปสำหรับโดเมนของพีชคณิตคอมพิวเตอร์ส่วนใหญ่สองวิธี: เขียนเครื่องยนต์ใน C ด้วยภาษาเฉพาะด้านบน (เช่นMathematica ) หรือในภาษา Lisp ขั้นสูงบางอย่าง Macsyma / Maximaใน Lisp สามัญ, ลดลงใน Lisp มาตรฐาน, Axiomใน Lisp สามัญ

(นอกจากนี้ยังมีการเขียนอย่างน้อยหนึ่งรายการใน Python)

มีระบบไม่มากที่เสนอชุดคุณลักษณะของAxiomซึ่งทำงานบน Common Lisp

สิ่งที่ทำให้ Lisp น่าสนใจสำหรับแอปพลิเคชั่นประเภทนี้คือการผสมผสานของคุณสมบัติ: คณิตศาสตร์พื้นฐานขั้นสูง (bignums, อัตราส่วน, ... ), การคำนวณเชิงสัญลักษณ์, คอมไพเลอร์เชิงโต้ตอบ ฯลฯ เป็นไปได้ค่อนข้างมากที่จะได้รับสิ่งเหล่านี้ ภาษาระดับ ด้วยวิธีนี้เราจะใช้ระบบเสียงกระเพื่อม 50% ขึ้นไป

ไม่ไกลเท่าที่ฉันรู้ Forth นั้นง่ายเหมือนไดนามิก Lisp อาจจะมากกว่านั้นเนื่องจากโค้ดไดนามิกใน Forth ดูเหมือนรหัส Forth ปกติในขณะที่แมโคร Lisp มักจะใช้คุณสมบัติที่แตกต่างจากรหัส Lisp ปกติ (ในClojureอย่างน้อยฉันไม่เคยใช้เครื่องหมายคำพูดนอกไวยากรณ์) เป็นผลให้พวกเขาดูแตกต่างจากรหัส Lisp ปกติ เป็นตัวอย่างของวิธีการที่ Forth แบบไดนามิกนี่คือวิธีการใช้ความคิดเห็นใน Forth :

: (   41 word drop ; immediate
( That was the definition for the comment word. )
( Now we can add comments to what we are doing! )

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

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