ภาษาที่ไม่ใช่ทัวริงมีข้อได้เปรียบเหนือภาษาทัวริงที่สมบูรณ์เนื่องจากสามารถวิเคราะห์ได้มากกว่าและมีความเป็นไปได้ในการเพิ่มประสิทธิภาพที่กว้างขึ้น ถึงกระนั้นก็ตามพวกเขาถูกใช้งานอย่างแทบไม่ทันและทัวริงสมบูรณ์จะขายเป็นคุณสมบัติที่ดี
วันนี้มีภาษาที่ไม่ครบถ้วนทัวริงที่มีอยู่ในปัจจุบันสำหรับการเขียนโปรแกรมวัตถุประสงค์ทั่วไปหรือไม่?
8
ฉันคิดว่าสองสิ่งที่คุณมองหาไม่สอดคล้องกัน หากไม่ได้ทำให้เสร็จสมบูรณ์ก็จะไม่สามารถใช้งานได้ตามอำเภอใจ
—
Bobson
@Dokkat ฉันได้เปิดคำถามอีกครั้งและลบการอภิปราย Meta จากความคิดเห็น โปรดทราบว่าหากคุณไม่เห็นด้วยกับหนึ่งในแนวทางของเว็บไซต์วิธีที่เหมาะสมในการแข่งขันคือโพสต์การอภิปราย Meta ไม่เพียงแค่เพิกเฉย นอกจากนี้สำหรับคำถามเชิงอัตวิสัยกุญแจสู่ความสำเร็จคือการวิจัยก่อนหน้าและคำจำกัดความที่เข้มงวด ยิ่งคุณค้นคว้ามากเท่าไหร่คำถามของคุณก็ยิ่งเฉพาะเจาะจงมากขึ้นเท่านั้นและยิ่งคุณตอบคำถามได้ไกลเท่าไรคุณก็จะยิ่งได้รับพื้นที่ที่ไม่สร้างสรรค์
—
yannis
นอกจากนี้ทำไมคุณถึงคิดว่า "ความเป็นไปได้ในการเพิ่มประสิทธิภาพที่กว้างขึ้น" เป็น "ประโยชน์ที่ดี" นี่ไม่ได้เป็นการบอกว่าการเพิ่มประสิทธิภาพนั้นไม่คุ้มค่า แต่แน่นอนว่าฉันจะไม่เรียกการเพิ่มประสิทธิภาพโดยธรรมชาติของภาษาว่าเป็น "ข้อได้เปรียบที่ยิ่งใหญ่" จากพลังของคอมพิวเตอร์สมัยใหม่
—
Bobson
Coq ถือได้ว่าเป็น "กระแสหลัก" ที่สวยงามในโดเมนของตนโดยมีคู่แข่ง (HOL, Agda, ACL และอื่น ๆ ) ซึ่งมองเห็นได้น้อยกว่ามาก
—
SK-logic
บางทีฉันอาจไม่เข้าใจว่าทัวริงสมบูรณ์อะไร แต่ภาษาจะมีจุดประสงค์ทั่วไปและไม่ทัวริงสมบูรณ์ได้อย่างไร ฉันคิดว่าความหมายของการไม่เป็นทัวริงนั้นไม่สามารถทำงานการคำนวณใด ๆ ได้ดังนั้นจึงมุ่งไปที่วัตถุประสงค์เฉพาะ ..
—
Aviv Cohn