ديبوتى: لغة برمجة ذات أنواع تابعة مضمنة في كلوجر
2025-05-20
ديبوتى هي لغة برمجة تجريبية ذات أنواع تابعة مضمنة في كلوجر، مع أنواع بيانات استنتاجية. وهي تستكشف آثار تدفق عمل تفاعلي قائم على REPL و Lisp لكل من البرمجة والتحقق من الأنواع. بصفتها مكتبة كلوجر، فإنها تسمح للمبرمجين باستخدام لغة المضيف أثناء العمل على مستوى النوع. هذا يسمح بحسابات مستوى النوع التي تعتمد على القيم، مما يفتح أنماط برمجة قوية. من المهم ملاحظة أنه على الرغم من الدلالات الديناميكية الغنية للأنواع، فإن التحقق من الأنواع يبقى عملية في وقت التجميع فقط.
التطوير