Faber

Faber هي لغة برمجة موجهة للحزم بمفردات سلوكية لاتينية، وقواعد نحوية منتظمة صغيرة، ونظام أنواع ثابت قائم على النوع أولاً. يُصرَّف المصدر عبر مصرف Radix إلى Rust قابل للمراجعة وثنائيات أصلية. الخاصية المعمارية المميزة لها هي أن المعنى يكمن في نواة دلالية — التمثيل الوسيط عالي المستوى (HIR) — بدلاً من أي تصيير معين.

الاسم مشتق من الكلمة اللاتينية التي تعني صانع أو حرفي. سُمي المصرف Radix، من الكلمة اللاتينية جذر. طُوِّرت اللغة بواسطة Ian Zepp وصدرت تحت رخصة MIT.

جديد هنا؟ ابدأ بـ التثبيت والتحميل، ثم شغّل مسار البداية المتسلسل: مرحباً، الأوامر، والمشاريع.

تحميل Faber 1.2.0#

الإصدار الحالي: Faber 1.2.0 (الوسم faber-v1.2.0). أرشيفات CLI مُجمَّعة مسبقاً لأنظمة macOS و Linux؛ استخرج الثنائي faber-v1.2.0-<target-triple>/faber وضعه في PATH لديك.

تثبيت سريع (مثال macOS arm64):

curl -fsSL -o faber.tgz \
  https://github.com/faberlang/releases/releases/download/faber-v1.2.0/faber-v1.2.0-aarch64-apple-darwin.tar.gz
curl -fsSL -o faber.tgz.sha256 \
  https://github.com/faberlang/releases/releases/download/faber-v1.2.0/faber-v1.2.0-aarch64-apple-darwin.tar.gz.sha256
expected=$(awk '{print $1}' faber.tgz.sha256)
actual=$(shasum -a 256 faber.tgz | awk '{print $1}')
test "$actual" = "$expected"
tar -xzf faber.tgz
sudo mv faber-v1.2.0-aarch64-apple-darwin/faber /usr/local/bin/
faber --version

جميع ملاحظات الإصدار والموجودات: github.com/faberlang/releases · faber-v1.2.0. خطوة بخطوة: دليل التثبيت. الجرد التاريخي الكامل: الإصدارات.

ابدأ هنا#

حالة البوابة#

صفحة / هذه هي Speculum Porta للموقع الإنجليزي: نقطة دخول بلا لغة محلية توجه الأشخاص إلى صفحات التثبيت/البداية، وتوجه الوكلاء إلى الأسطح الآلية، وتوضح حالة حزمة اللغة المحلية دون تفاوض زمن المتصفح. المرحلة 7 هي إثبات جزئي متعدد اللغات، وليس موقعاً محلياً مكتملاً: فقط th-TH، zh-Hans، zh-Hant، vi، ar، وhi تمتلك شرائح بوابة/بداية مُنشأة بالإضافة إلى صفحات corpus مُنشأة، والنثر المؤلَّف لا يزال يرجع إلى الإنجليزية.

عينة حية باللاتينية القانونية:

دالة salve(نص nomen) → نص {
    ثابت نص msg ← "Salve, §!"(nomen)
    أعد msg
}

بداية {
    ثابت نص m ← salve("munde")
    اعرض m
}

انظر لغة القارئ لنفس البرنامج الدلالي المُصيَّر عبر حزم التايلاندية، والصينية المبسطة، والصينية التقليدية، والعربية، والهندية، والفيتنامية.

نظرة عامة#

صُممت Faber حول فكرة محورية: التمثيل الوسيط هو الحقيقة، ولا يتمتع أي هدف أو سطح لغة بشرية بامتياز. يمكن تصيير برنامج Faber مكتوب بكلمات لاتينية مفتاحية إلى كلمات تايلاندية، أو عربية، أو صينية مفتاحية عبر نفس الآلية التي تصيره إلى Rust، أو Go، أو WebAssembly — لأن HIR هو السلطة وكل مخرج هو تصيير له.

تتخذ اللغة ثلاثة خيارات إشارية متعمدة تعمل معاً:

• تصريحات النوع أولاً — يتجه الشكل نحو الربط: نص nomen، وليس nomen: نص.
• كلمات سلوكية لاتينية — التصريحات، والتعليمات، ودورة الحياة: دالة، نوع، ثابت، أعد، إذا.
• رموز بنيوية — تدفق القيم ووصلات الأنواع: ← (ربط)، → (نوع الإرجاع)، ∴ (وصلة الإغلاق)، ≡ (تساوي)، ∪ (اتحاد).

النتيجة هي مصدر ذو شكل نحوي مستقر يمكن مراجعته، وتحويله، وتخفيضه دون فقدان إحساس القارئ بالقصد.

التوثيق#

مثال سريع#

دالة بسيطة توضح أنماط Faber الأساسية — معاملات النوع أولاً، نوع إرجاع رمزي، اتحاد يقبل القيمة الفارغة، كلمات تحكم لاتينية:

functio divide(numerus a, numerus b) → numerus ∪ nihil {
    si b ≡ 0 ergo redde nihil
    redde a / b
}

التصيير الحي#

دالة divide أعلاه مُصيَّرة في الحزمة اللاتينية افتراضياً. يستطيع المصرف تصيير نفس البرنامج بسبع لغات قارئ — التايلاندية، والصينية المبسطة، والصينية التقليدية، والعربية، والهندية، والفيتنامية — كل منها يعيد تعيين الكلمات المفتاحية والأنواع إلى تلك اللغة بينما تبقى الرموز والمعرفات دون تغيير. هذه ليست طبقة ترجمة تُطبَّق على الصفحة؛ إنها نفس الآلية التي يستخدمها المصرف لإنتاج مصدر محلي.

انظر توثيق لغة القارئ للنقاش الكامل.

المستودعات#