Skip to content

RFC: تكافؤ تعديل عنصر واجهة عامّ (المعدّل الانسيابيّ) بين المحرّكين#26

Open
SalehKadah wants to merge 1 commit into
mainfrom
rfc/compiler-global-widget-modifier-parity
Open

RFC: تكافؤ تعديل عنصر واجهة عامّ (المعدّل الانسيابيّ) بين المحرّكين#26
SalehKadah wants to merge 1 commit into
mainfrom
rfc/compiler-global-widget-modifier-parity

Conversation

@SalehKadah

Copy link
Copy Markdown
Contributor

الملخّص

RFC يوثّق إغلاق فجوة تكافؤ ثالثة في نظام الرسومات (SadUI): تطبيق معدّل انسيابيّ (.محتوى/.لون…) على متغيّر عنصرِ واجهةٍ عامّ من داخل دالّة.

المفسّر يشغّله (نوع وقت التشغيل)؛ المترجم كان يُنتج undefined symbol: .محتوى لعدم تتبّعه نوع مقبض العنصر العامّ عبر حدود الدوال. الإصلاح يشتقّ النوع من مصدر الحقيقة (returns == كائن) لا من قائمة مثبّتة — التزامًا بمبدأ «الأدوات لا توسّع SoT اللغة».

النطاق

لغة text/ — سلوك استنتاج النوع الساكن في المترجم. لا توسيع لمصدر الحقيقة، لا صياغة جديدة، لا كسر توافق خلفيّ.

العلاقة

استمرار لسلسلة تكافؤ SadUI:

  • تكافؤ مصانع العناصر (السابق)
  • تكافؤ تعديل عنصر عامّ (هذا)

التنفيذ

منفَّذ ومُتحقَّق في PR كود مصاحب (sadlang/s-programming-language#136): آلة حاسبة 7+3=10.0 متطابقة بايتيًّا + 20/20 ui_cov تكافؤ + اختبار انحدار مخصَّص + مراجعة Amelia مقبولة.

🤖 Generated with Claude Code

يوثّق إغلاق فجوة تكافؤ ثالثة في نظام الرسومات: تطبيق معدّل انسيابيّ على متغيّر
عنصرٍ عامّ من داخل دالّة. المفسّر يشغّله؛ المترجم كان يُنتج رمزًا غير معرَّف لعدم
تتبّعه نوع مقبض العنصر العامّ عبر حدود الدوال. الإصلاح يشتقّ النوع من مصدر الحقيقة
(returns == كائن) لا من قائمة مثبّتة. استمرار لسلسلة تكافؤ SadUI بين المحرّكين.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant