التشفير ≠ البرمجة: منظور الفائز بجائزة تورينج حول التجريد

ألقى ليْسلي لامبورت، الحائز على جائزة تورينج البالغ من العمر 84 عامًا، خطابًا رئيسيًا شدد فيه على الفرق البالغ الأهمية بين التشفير والبرمجة. وجادل بأن التفكير المجرد قبل التشفير أمر بالغ الأهمية، مما يؤدي إلى عدد أقل من الأخطاء وكود أكثر كفاءة. وتُعد لغته الخاصة بالمواصفات TLA+، المستخدمة في تطوير المركبة الفضائية روزيتا، مثالًا رئيسيًا، حيث تُظهر انخفاضًا كبيرًا في الكود وتحسينات معمارية. وينتقد لامبورت ميل المبرمجين إلى التركيز على اللغات بدلاً من التصميم المجرد، داعيًا إلى تصميم النموذج المجرد للبرنامج أولًا، ثم التشفير. ويؤدي هذا النهج إلى تقليل تصحيح الأخطاء والمراجعة، مما ينتج عنه كود أنظف وأسهل في الصيانة.