ฉีคืออะไร - คำจำกัดความจาก techopedia

คำจำกัดความ - Qi หมายถึงอะไร

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

Qi เขียนด้วย Common LISP สร้างโปรแกรมรักษาความปลอดภัยประเภทประสิทธิภาพสูงที่อาจทำงานบนเครื่องใดก็ได้ ได้รับการพัฒนาโดย Dr. Mark Tarver และเปิดตัวครั้งแรกภายใต้ GPL ในปี 2005 แต่ก็ถือว่าไม่เหมาะสมสำหรับการใช้งานเชิงพาณิชย์ Qi II มีให้บริการภายใต้ลิขสิทธิ์สองแบบ: หนึ่งสำหรับการพัฒนาแหล่งข้อมูลปิดซอฟต์แวร์ที่เป็นกรรมสิทธิ์และอีกอันสำหรับการศึกษาและการใช้งานส่วนตัว

Techopedia อธิบาย Qi

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

โครงการ L21 มีจุดมุ่งหมายเพื่อปรับปรุง Lisp ให้ทันสมัยเพื่อให้ทันกับความต้องการที่เปลี่ยนแปลงของการคำนวณในศตวรรษที่ 21; ดังนั้นชื่อ โครงการเปิดตัวเพราะ Lisp มีความท้าทายบางอย่างที่ขวางทางสำหรับการยอมรับที่กว้างขึ้น ดร. Tarver ระบุความท้าทายเหล่านี้โดยเฉพาะอย่างยิ่งเมื่อ Lisps สามัญขาดการจับคู่รูปแบบการปนเปื้อนขั้นตอนไม่สอดคล้องกับ lambda แคลคูลัสและขาดการพิมพ์แบบคงที่