เมื่อใดที่เหมาะสมในการสร้างภาษาโปรแกรมของฉันเอง

มีประเภทของแอพพลิเคชั่นนักฆ่า, คลาสของปัญหาอัลกอริทึม, ฯลฯ ซึ่งจะดีกว่าในระยะยาวเพื่อสร้างภาษาของตัวเอง?

PS: เพื่อให้แน่ใจว่าฉันหมายถึงภาษาการเขียนโปรแกรมใหม่และคอมไพเลอร์ไม่ใช่คอมไพเลอร์ใหม่สำหรับภาษาที่มีอยู่

แก้ไข : ขอบคุณสำหรับคำตอบ คุณสามารถให้ตัวอย่างบางส่วนได้โดยไม่จำเป็นต้องสร้าง DSL หรือกรณีที่ DSL อาจเป็นแนวคิดที่ดีได้หรือไม่?

แน่นอนว่ามันเกี่ยวข้องกับบุคคลที่จะเขียนภาษาของตนเองเพื่อการศึกษา เพื่อเรียนรู้เกี่ยวกับการออกแบบโปรแกรมภาษาและการออกแบบคอมไพเลอร์ แต่การใช้งานจริงนั้นมีอยู่ไม่มาก

ในการเขียนภาษาของคุณเองคุณคือ:

• การเพิ่มความซับซ้อนให้กับปัญหาของคุณ
• การเพิ่มจำนวนงานเขียนและการบำรุงรักษาภาษาและคอมไพเลอร์ใหม่จำนวนมาก

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

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

ให้ฉันอ้างอิง Paul Vick ผู้พัฒนาหัวหน้าของคอมไพเลอร์ VB และตอนนี้ทำงานกับ Project Oslo และภาษา M:

มันยากที่จะสร้างภาษาใหม่อย่างเหลือเชื่อแม้กระทั่งภาษาที่มีพื้นฐานมาจากภาษาที่มีอยู่ แต่โปรแกรมเมอร์หลายคนคิดว่า“ เฮ้ฉันใช้ภาษาแล้วมันจะยากขนาดไหน?” แล้วก็ไปที่มัน ... อาจจะมากกว่า 98% ของพวกเขาล้มเหลวที่จะได้รับแรงดึงดูดใด ๆ แต่พระเจ้าอวยพรคนที่มองโลกในแง่ดีเพราะหากไม่มีพวกเขาเราจะไม่ได้รับ 2% ของภาษาที่ประสบความสำเร็จ ฉันยินดีที่จะเสียสละเวลาหลายล้านดอลลาร์และเสียเวลาไปกับภาษาที่ไม่เคยทำมาก่อนเพื่อที่เราจะได้รับภาษาอย่าง C # และ Java และ Ruby และ Python และอื่น ๆ

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

DSL: เป็นความคิดที่แย่จริงๆ!

เมื่อใดที่เหมาะสม

เมื่อคุณรู้สึกว่ามัน!

อย่าฟังคนเหล่านี้ที่มีความคิดเห็นที่น่ารำคาญที่พูดโดยทั่วไปว่า:

"อย่าทำอย่างนั้นเพราะมันยากเกินไปและภาษา X ดีกว่าภาษาใด ๆ ที่คุณคิดได้"

สิ่งสำคัญคือการสร้าง DSL เกิดขึ้นตลอดเวลา เฟรมเวิร์กคือ DSL แมโครคือ DSL ทุกครั้งที่คุณเขียนฟังก์ชันสำหรับโปรแกรมของคุณนั่นเป็นส่วนหนึ่งของ DSL แน่นอนว่ามันอยู่ในขอบเขตของไวยากรณ์ แต่คำศัพท์เป็นส่วนหนึ่งของภาษา นี่คือเหตุผลที่อุตสาหกรรมมักสร้างภาษาของตนเองขึ้นมา: มีประสิทธิภาพมากกว่า!

หาก "ไม่ทำ" เป็นคำตอบที่ถูกต้องเราทุกคนจะเขียนภาษาโคบอลและฟอร์แทรน

คุณอาจต้องการอ่านบางส่วนของหนังสือ DSL ที่กำลังจะมาถึงของMartin Fowlerหากคุณกำลังคิดที่จะเขียนภาษาของคุณเอง

ฉันไม่สามารถนึกถึงกรณีศึกษาทางธุรกิจเพื่อสร้างภาษาจากศูนย์อื่นนอกเหนือจากการเป็นประสบการณ์การเรียนรู้ที่ยิ่งใหญ่

แก้ไข: สำหรับ DSL มีกรณีธุรกิจมากมาย แต่กุญแจสำคัญในที่นี้คือไม่ต้องดำเนินการและทำให้ง่ายขึ้น

ฉันแนะนำว่าคำถามสำคัญคือ "ฉันพยายามแก้ไขปัญหาอะไร?" และ "ใครจะได้รับ ROI"

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

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

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

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

อีกเหตุผลหนึ่งก็คือการสร้างภาษาสคริปต์ลงในแอปพลิเคชันเมื่อคุณไม่มีตัวเลือกในการเพิ่ม API ของบุคคลที่สาม

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

• ภาษาคืออะไร
  คำศัพท์ไวยากรณ์และความหมาย

ภาษาปิด -the-shelf เช่น VB, Java, C #, ฯลฯ เป็นเพียงฐานภาษา ทันทีที่คุณเพิ่มคลาสวิธีการ ฯลฯ คุณจะได้เพิ่มคำศัพท์และความหมาย มีหลายวิธีในการติดตั้งภาษา - การแยกวิเคราะห์ & แปล, การแยก & การตีความ, มาโครด้านบนของภาษาที่มีอยู่, เพิ่มคลาส & วิธีการในภาษาที่มีอยู่

• คุณต้องการให้ภาษาทำอะไร
  เป็นคนดีสำหรับการแสดงปัญหาอย่างรัดกุม

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

• ทำไมความกระชับจึงดี
  เพราะมันช่วยลดข้อบกพร่อง

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

โปรดทราบว่านี่เป็นความท้าทายโดยตรงสำหรับ "รหัสขยาย" ที่เราเห็นทุกวันนี้

เพิ่ม:ในการตอบสนองต่อการร้องขอของคุณสำหรับตัวอย่างที่เห็นการดำเนินการที่แตกต่างกัน ฉันจะไม่บอกว่ามันสามารถเข้าใจได้อย่างรวดเร็ว แต่มันลดรหัส UI อย่างมาก

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

มันเป็นความท้าทายทางปัญญาที่น่าสนใจ

เฉพาะในกรณีที่ธุรกิจหลักของทีมของคุณคือภาษาการเขียนโปรแกรม

ฉันทำงานเกี่ยวกับภาษาการเขียนโปรแกรมที่สร้างขึ้นใน บริษัท ทางการเงิน

เห็นได้ชัดว่าสำหรับสถาปนิกเองนี่เป็นความท้าทายที่ยิ่งใหญ่และพัฒนาทักษะของเขาเอง

อย่างหลีกเลี่ยงไม่ได้ภาษาไม่สามารถเติบโตหรือปรับปรุงที่ใดก็ได้ใกล้กับอัตราที่บางอย่างเช่น C # หรือ Java สามารถทำได้ - พวกเขามีทีมที่ทุ่มเทในการทำเช่นนั้น

ภาษาซบเซาในไม่ช้าเนื่องจากไม่มีใครอยากเข้ามาทำงานปรับปรุงโครงการสัตว์เลี้ยงของคนอื่น

สถาปนิกเดิมออกไป ภาษาเหี่ยวเฉาและตายไปหลังจาก 10 ปี

10 ปีที่ผ่านมาเป็นช่วงเวลาที่เลวร้ายสำหรับทุกคนที่มีโชคร้าย

ดังนั้นไปข้างหน้าสร้างภาษาของคุณเอง แต่โปรดอย่าขอให้คนอื่นใช้จริง โปรดอย่าคาดหวังว่าคนอื่นจะขอบคุณคุณ

การออกแบบภาษาเป็นเรื่องสนุก แต่คุณไม่จำเป็นต้อง จำกัด ภาษาโปรแกรม

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

มันสมเหตุสมผลอย่างสมบูรณ์ถ้าทำเพื่อขยายทักษะของคุณและเพื่อเรียนรู้

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

และคุณอาจผิดด้วยเช่นกัน แต่คุณต้องมีผู้เชี่ยวชาญคนอื่นเพื่อโน้มน้าวคุณในเรื่องนั้น (หรือแสดงให้คุณเห็นว่าคุณไม่ใช่ผู้เชี่ยวชาญที่คุณคิดว่าคุณเป็น) การสนทนาที่มีชีวิตชีวาซึ่งไม่ใช่ Q-and-A อย่างที่คุณจะหาได้จากที่นี่

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

มันขึ้นอยู่กับสถานการณ์อย่างแน่นอน ดังที่ nosklo กล่าวไว้ - หากคุณมีความคิดที่ดีแนวคิดใหม่เอี่ยมหรืออะไรทำนองนั้นฉันขอแนะนำให้คุณทำเช่นนั้น

โดยทั่วไปฉันขอแนะนำให้ใช้เทคโนโลยีที่มีอยู่แล้ว

แต่ถ้าคุณสนใจที่จะสร้าง "ภาษา" ของคุณเองคุณควรตรวจสอบ: YACC & Lex

คุณทำได้เพียงจับตัวเองในรูปแบบต่อต้าน "สร้างล้อสี่เหลี่ยม"

ความหมายที่คุณกำลังสร้างสิ่งที่ทำไปแล้วมีเพียงด้อยกว่าต้นฉบับ

Wouter มีชื่อเสียงในการสร้างภาษาใหม่สำหรับแนวคิดใหม่ใด ๆ คุณสามารถวาดแรงบันดาลใจจากการทำงานของเขาหน้าการเขียนโปรแกรมภาษา Wouter ของ

สร้างภาษาของคุณเองเมื่อไหร่?

เมื่อคุณต้องการเป็นโครงการงานอดิเรกขนาดใหญ่

สำหรับภาษาเฉพาะโดเมน สิ่งเหล่านี้ค่อนข้างซับซ้อน มองสิ่งที่เกิดขึ้นในนิยายเชิงโต้ตอบ (หรือผจญภัยข้อความ) ชุมชนโดยการตรวจสอบการจัดเก็บ

เมื่อจุดมุ่งหมายของคุณมีความทะเยอทะยานมากและคุณคิดว่าคุณสามารถทำล่วงหน้าจริงเช่นพอลเกรแฮมโครงการ Arc

นอกจากนี้ในภาษาที่สามารถปรับเปลี่ยนได้อย่างเพียงพอ (อาจเป็นภาษาซีพลัสพลัสหรือ Common LISP ที่แน่นอน) ในกระบวนการพัฒนาโครงสร้างระดับต่ำ

เมื่อใดที่ฉันจะหลีกเลี่ยงมันอย่างที่คุณต้องการฉันหวังว่าจะหลีกเลี่ยงถ้อยคำที่เบื่อหูเหมือนหลีกเลี่ยงมันเหมือนโรคระบาด?

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

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

มุมมองของฉันคือ DSL มักเป็น "แนวคิดที่อ่อนแอ" และมีประสิทธิผลมากขึ้นในระยะยาวเมื่อใช้ภาษามาตรฐานและสร้างความต้องการเฉพาะโดเมนของคุณในฐานะห้องสมุดของ "non-DSL"

อย่างไรก็ตามมันอาจกลายเป็นว่าความต้องการของคุณเป็นแบบกำหนดเองมากพอที่จะมี DSL (ไม่ใช่เพียงแค่การใช้ gcc หรือ lisp ที่ปรับเปลี่ยนเล็กน้อย) สำหรับ บริษัท ของคุณ บริษัท หลายแห่งใช้ดรอปอินของภาษาปัจจุบันที่กำหนดเป้าหมายสิ่งที่พวกเขากำลังทำอยู่ เช่นฉันเคยได้ยินว่า PHP มีดรอปอินดีมาก Lua ได้รับการออกแบบให้เป็นแบบหล่นใน ModelView ใช้ Python และ AutoCAD มี AutoLISP เป็นสแครปเตอร์

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

ไปตลอดทางจนถึงรหัสเครื่องจักรกำลังสร้างล้อจำนวนมาก ...

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

โดยทั่วไปการพูดคำตอบจะเป็นใหญ่ จากภาษาต่างๆกว่าร้อยภาษามักจะมีภาษาที่เหมาะกับปัญหาของคุณ

อย่างไรก็ตามมีสถานการณ์ที่เป็นตัวเลือกที่มีเหตุผลในการพัฒนาภาษาใหม่: -

• เมื่อหนึ่งในคู่แข่งของคุณเป็นเจ้าของหนึ่งในแพลตฟอร์มการพัฒนาหลักของคุณ ฉันกำลังคิดถึงการพึ่งพา Java ในปัจจุบันของ Google และการพัฒนา "go" ของพวกเขา (ช่วยได้ถ้าคุณมีผู้เขียนภาษาที่ประสบความสำเร็จมากที่สุดในบัญชีเงินเดือน!)
• เมื่อคุณต้องเขียนโค้ดจำนวนมากสำหรับแพลตฟอร์มใหม่และภาษาที่มีอยู่นั้นมีความละเอียดและข้อผิดพลาดได้ง่ายเช่น php สำหรับการพัฒนาเว็บ
• เมื่อคุณเจอปัญหาเรื่องขนาดและความเท่าเทียมซึ่งไม่เคยพบมาก่อนเพราะไม่มีใครเคยมีฮาร์ดแวร์มากมายในการประมวลผลข้อมูลจำนวนมากนี้มาก่อนเช่น Scala และ (ในระดับหนึ่ง GO)

ภาษาใดที่ใช้ในการประกอบกันหรือประกอบส่วนประกอบต่าง ๆ เข้าด้วยกัน

หากปัญหาเกี่ยวกับโดเมนของคุณต้องการให้คุณตั้งสวิตช์แบบ orthogonal หลายภาษาภาษาอาจไม่ได้เพิ่มในรูปแบบ UI หรือกราฟิกแบบข้อความ ไฟล์. (ฉันสมมติว่าที่นี่ไฟล์เต็มไปด้วยคีย์คู่ค่าไม่ใช่สิ่งที่คุณหมายถึงโดย "ภาษา")

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

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

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

เหตุผลหนึ่งคือเพื่อการศึกษาตามที่ระบุไว้แล้ว แต่มีมากกว่านั้น ตัวอย่างเช่นมีภาษาวิจัยจำนวนมากเช่นSing#ในระบบปฏิบัติการภาวะเอกฐานและBitCในCoyotosที่ได้รับการออกแบบเพราะภาษาที่มีอยู่ไม่ได้มีคุณสมบัติที่จำเป็น (เช่นการตรวจสอบในระดับภาษา)

Tom Van Cutsem เพิ่งเขียนคำตอบเรียงความสำหรับคำถามนี้:

http://soft.vub.ac.be/~tvcutsem/whypls.html

สรุปหัวข้อย่อย (จากหน้านั้น):

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

อาจไม่เคย

Lua เป็นตัวเลือกที่ดีที่สุดที่คุณจะได้รับหากคุณต้องการฝังภาษาในภาษาอื่นใด

Small Domain Specifc Languages ​​อยู่ในขณะนี้และเหมาะสมในบางแอปพลิเคชัน

นอกจากนั้นเหตุผลส่วนใหญ่ทางเคมี

การสร้างภาษาเมื่อไม่ต้องการมันเป็นสิ่งที่ไม่ดีที่ต้องทำเนื่องจากความซับซ้อนที่เกี่ยวข้องกับการพัฒนาและดูแลมัน ฉันได้เห็นหลายโครงการที่แนะนำภาษาสคริปต์บางอย่างเฉพาะกับโปรแกรมนั้นและมันก็เป็นสิ่งที่ทำให้การพัฒนาพื้นฐานช้าลงเป็นจำนวนมาก ตัวอย่างที่ดีสำหรับภาษาการดำเนินการอัตโนมัติเช่น Phantom, AutoHotKey, AutoIt เครื่องมือเหล่านั้นน่าจะดีกว่า IMO มากถ้าพวกเขาใช้นกอีมูที่มีชื่อเสียงเช่น Lua

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

1. ฐานผู้ใช้ของคุณมีขนาดใหญ่กว่าสองสามคนโดยทั่วไปที่ไม่ใช่ด้านเทคนิคและ / หรือมีการ จำกัด การเข้าถึงระบบ (ดังนั้นจึงไม่มีเหตุผลที่จะคาดหวังให้พวกเขาเรียนรู้ / ใช้ภาษาวัตถุประสงค์ทั่วไปที่มีอยู่) หากอยู่ในทีม dev หรือองค์กรซอฟต์แวร์ของคุณคุณสามารถพูดได้ว่า "เพียงแค่เขียนสคริปต์"
2. ผู้ใช้ของคุณจำเป็นต้องใช้มันบ่อยๆอย่างเพียงพอโดยมีพฤติกรรมที่เปลี่ยนแปลงและเปลี่ยนแปลงอย่างเพียงพอที่จำเป็น (เช่นคุณไม่สามารถจัดหาไลบรารีของฟังก์ชันที่คงที่ไว้โดยคุณ)
3. พฤติกรรมที่ผู้ใช้สามารถระบุมีความซับซ้อนเกินกว่าที่จะระบุว่าเป็นข้อมูล (เช่นคุณไม่สามารถทำได้โดยใช้ตารางฐานข้อมูลหรือเมทริกซ์อินพุตผู้ใช้หรือรายการงานหรือการรวบรวมคีย์ - ค่า ... คิดอย่างรอบคอบ เพราะคุณสามารถบรรลุความซับซ้อนมากมายกับสิ่งเหล่านี้) หากคุณสามารถบรรลุพฤติกรรมโดยใช้การป้อนข้อมูลหรือการกำหนดค่าแทน DSL แล้วคุณอาจควรเพราะมันจะทำงานได้น้อยลงมาก เงื่อนไขบางอย่างหรือความสามารถในการผสม / ผูกมัดกันหรือการสร้างแบบจำลองนามธรรมที่แตกต่างกันไม่กี่อาจเป็นสัญญาณว่าพฤติกรรมที่คุณต้องการมีความซับซ้อนเกินไปสำหรับข้อมูล / การกำหนดค่าธรรมดา
4. แต่พฤติกรรมนั้นยัง จำกัด อยู่พอที่คุณสามารถระบุได้ใน DSL ที่กระชับ อันตรายที่ยิ่งใหญ่คือ 'แพลตฟอร์มขยายตัว' เช่นหากผู้ใช้เริ่มร้องขอ "คุณเพิ่ม ... ได้ไหม" หากพวกเขาต้องการเชื่อมต่ออินเทอร์เน็ตหรืออ่านและเขียนจากระบบไฟล์หรือกระบวนการเปิดและปิด - นี่ไม่ใช่ DSL อีกต่อไป (ฉันได้เห็นสิ่งนี้เกิดขึ้นจริง ... ผู้ใช้ที่ได้รับอนุญาตให้ฝังการเรียก python ขนาดเล็กค่อยๆเพิ่มขึ้นเป็นสคริปต์ python และในที่สุดก็จะทำลายขีด จำกัด / โมดูล / ประสิทธิภาพการทำงาน)

หากสิ่งเหล่านี้เป็นจริงแล้ว DSL อาจเหมาะสม

มีประเภทของแอพพลิเคชั่นนักฆ่า, คลาสของปัญหาอัลกอริทึม, ฯลฯ ซึ่งจะดีกว่าในระยะยาวเพื่อสร้างภาษาของตัวเอง?

มันขึ้นอยู่กับ.

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

โดยทั่วไปแล้วยังมีหัวข้อที่ซับซ้อนเช่นนี้ซึ่งอาจนำไปสู่กลยุทธ์อื่น ๆ ซึ่งอาจรวมถึงภาษาที่ 'ดีกว่า' สำหรับสถานการณ์ที่กำหนด