العلامات الشائعة：
الافتراضية أمان DNS التحقق الرسمي تحليل قابلية الوصول أخطاء المترجم تضارب الماكرو امتدادات الويب إطار عمل تطوير كومودور 64 بياسيك 2.0 جميع العلامات

ملاحظات تصميم X: توحيد وحدات OCaml

2025-09-09

يقوم المؤلف بتصميم لغة برمجة جديدة، X، تهدف إلى دمج الاستنتاج النمطي والكتابة الفرعية الهيكلية من PolySubML مع معظم وظائف OCaml، مع معالجة الاختلافات النحوية والمفهومية بين نظام الوحدات في OCaml والقيم العادية. تشرح هذه المقالة بالتفصيل كيفية توحيد وحدات OCaml في X، مع تغطية جوانب مثل أعضاء الاسم المستعار في السجلات، وبنية struct و sig، وفتح الوحدات وإدراجها، وامتداد الوحدات، والتجريد مع الأنواع الموجودة. يقترح تحسينات على نظام وحدات OCaml، مثل تجنب استيراد التعبيرات البرمجية العامة. والهدف النهائي هو لغة برمجة أبسط وأكثر سهولة في الفهم وقوة.

اقرأ المزيد
(blog.polybdenum.com)
التطوير

ما وراء هندلي-ميلنر: برنامج تعليمي حول مترجم كوبيمل مع كتابة فرعية جبرية

2025-06-13

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

اقرأ المزيد
(blog.polybdenum.com)
التطوير استنتاج نمطي

وداعًا لأخطاء الأنواع الغامضة: كيف يحسّن PolySubML رسائل أخطاء الاستنتاج النمطي؟

2025-05-23

PolySubML هي لغة برمجة تجمع بين الاستنتاج النمطي العالمي والكتابة الفرعية والتشكّل المتعدد المتقدم. تستكشف هذه المقالة كيف يصمم PolySubML رسائل أخطاء الأنواع الجيدة، وتشرح سبب تقصير اللغات الموجودة في تحسين رسائل أخطاء الاستنتاج النمطي. يقترح الكاتب خمس قواعد: 1. لا تخمن أبدًا أو تتراجع؛ 2. لا تستنتج استنتاجات متهورة؛ 3. اطلب من المستخدم توضيح النية؛ 4. اسمح للمستخدم بكتابة تعليقات الأنواع الصريحة؛ 5. لا تتضمن الاستنتاج النمطي الثابت في نموذج التنفيذ في وقت التشغيل. باتباع هذه القواعد، يعالج PolySubML بنجاح العديد من المشكلات الشائعة المتعلقة بالاستنتاج النمطي، مما يحسّن بشكل كبير قابلية تصحيح الأخطاء في الكود.

اقرأ المزيد
(blog.polybdenum.com)
التطوير الاستنتاج النمطي أخطاء المُترجم

ما وراء البرمجة الشيئية: تطور التصنيف الفرعي في لغات البرمجة

2025-03-29

تتناول هذه المقالة الدور المحوري للتصنيف الفرعي في تصميم لغات البرمجة. يستعرض الكاتب، بناءً على خبرته في تطوير العديد من لغات البرمجة، أن التصنيف الفرعي لا يقتصر على ميراث الفئات في البرمجة الشيئية، بل هو مفهوم أكثر جوهرية: يعتبر النوع X نوعًا فرعيًا من النوع Y إذا كان يمكن استخدام قيمة من النوع X في أي مكان يُتوقع فيه قيمة من النوع Y. تشرح المقالة بوضوح سبب أهمية التصنيف الفرعي حتى في لغات البرمجة منخفضة المستوى التي تركز على الأداء، حيث يسمح للمُترجم بتحقق القيم الخالية، والاختلاط، وغيرها من المشاكل بشكل ثابت، مما يحسّن من موثوقية الكود، ويدفع في النهاية تطور لغات البرمجة.

اقرأ المزيد
(blog.polybdenum.com)
التطوير التصنيف الفرعي

أربعة قيود مفاجئة في مُتحقق الإعارات في Rust

2024-12-24

تتناول هذه المقالة أربعة قيود مفاجئة في مُتحقق الإعارات في لغة البرمجة Rust، والتي قد يواجهها حتى المبرمجون ذوو الخبرة في Rust. القيود الأولى تتعلق بعدم قدرة مُتحقق الإعارات على مراعاة تعليمات match و return بشكل كامل، مما يؤدي إلى عمليات فحص زائدة عن الحاجة عند التعامل مع HashMaps. أما القيد الثاني فيتعلق بالبرمجة غير المتزامنة، حيث تفتقر Rust حاليًا إلى القدرة على التعبير عن بعض توقيعات أنواع الاستدعاءات الراجعة غير المتزامنة. ويتناول القيد الثالث عمليات الإغلاق FnMut التي لا تسمح بإعادة استعارة المتغيرات المُلتقطة، مما يحد من الوصول إلى الحالات القابلة للتغيير في العمليات غير المتزامنة. وأخيرًا، فإن عدم وعي مُتحقق Send بسياق التحكم يؤدي إلى وضع علامة غير صحيحة على بعض Futures بأنها غير Send، في حين أنها ينبغي أن تكون كذلك. يوضح الكاتب هذه القيود وتحدياتها من خلال أمثلة محددة للرموز وحلول بديلة، داعيًا إلى تحسين نظام أنواع Rust لتعزيز إنتاجية المطورين.

اقرأ المزيد
(blog.polybdenum.com)
التطوير متحقق الإعارات البرمجة غير المتزامنة