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










