Hello, Faber

اكتب أصغر برنامج Faber مفيد: نقطة دخول حزمة تقوم بتنسيق نص وطباعته.

المتطلبات الأساسية#

أكمل التثبيت والتحميل أولاً. ينبغي أن يكون لديك ثنائي faber في PATH وطرفية في دليل عمل يمكنك إنشاء ملفات فيه.

إنشاء حزمة#

mkdir salve-munde
cd salve-munde
mkdir src
cat > faber.toml <<'EOF'
[package]
name = "salve-munde"
version = "0.1.0"
EOF

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

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

التحقق منها#

faber check .

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

تشغيله#

faber run .

الناتج المتوقع:

Salve, munde!

ما استخدمته للتو#

إثبات اللغة#

البرنامج أعلاه هو العرض المرجعي باللاتينية. يمكن لعروض القارئ تقديم نفس البرنامج الدلالي بحزم كلمات مفتاحية مختلفة مع الحفاظ على الرموز والمعرّفات. ابدأ بالإثبات الكامل في لغة القارئ قبل كتابة حزم غير لاتينية.

التالي#