Mục lục:
Định nghĩa - Qi có nghĩa là gì?
Qi là một ngôn ngữ lập trình chức năng rất phù hợp cho các đánh giá toán học và lập trình các phương trình và hàm toán học. Qi cung cấp các lợi thế của khớp mẫu, tính nhất quán tính toán lambda, kiểm tra kiểu tĩnh và đánh giá lười biếng tùy chọn.
Qi được viết bằng Common Lisp tạo ra các chương trình bảo mật loại hiệu quả có thể chạy trên bất kỳ máy nào. Nó được phát triển bởi Tiến sĩ Mark Tarver và phát hành lần đầu tiên theo GPL vào năm 2005 nhưng điều này được coi là không phù hợp cho các ứng dụng thương mại. Qi II được cung cấp theo hai giấy phép độc quyền: một để phát triển nguồn đóng, phần mềm độc quyền và phần còn lại dành cho mục đích giáo dục và cá nhân.
Techopedia giải thích Qi
Qi được phát hành lần đầu tiên vào tháng 4 năm 2005. Qi định nghĩa các loại bằng cách sử dụng ký hiệu logic của phép tính tuần tự và theo cách giải thích của Qi, ký hiệu loại này có thể được coi là ngôn ngữ hoàn chỉnh của Turing. Thông qua ký hiệu này, Qi có thể gán các hệ thống loại có thể mở rộng vào Thư viện Lisp chung, đây là một tính năng khá mạnh mẽ của ngôn ngữ.
Dự án L21 nhằm hiện đại hóa Lisp để có thể theo kịp nhu cầu điện toán luôn thay đổi trong thế kỷ 21; do đó tên. Dự án đã được đưa ra bởi vì Lisp có một số thách thức cản trở việc áp dụng rộng rãi hơn. Tiến sĩ Tarver xác định những thách thức này cụ thể là Lisps thông thường thiếu khớp mẫu, ô nhiễm thủ tục, không nhất quán đối với tính toán lambda và thiếu gõ tĩnh.
