مقروءة للبشر
النيات والواجهات قبل تفاصيل الشيفرة.
قيد التطوير · لغة مفتوحة
Verve.
برمجيات تحفظ ما قصدته.
Verve لغة برمجة عامة للبناء مع الوكلاء ومراجعة النتيجة عبر المسؤوليات والضمانات والآثار.
استكشف اللغةالإنسان يحدد المعنى. وVerve يبقيه واضحًا حتى التنفيذ.
01الإنسانيحدد الهدف
02الوكيلينجز العمل الهندسي
03Verveيحفظ الاتفاق
04الآلةتنفذ وتتحقق
خريطة البرنامج
نظام يمكنك قراءته.
تعلن كل مسؤولية عن نيتها. تُشتق الخريطة من الشيفرة وتوضح موضع كل قرار.
النظام
الطلباتالإيصال
تحصيل مرة واحدة
الوحدة الأساسية
توضح capability ما تعد به.
يمكن تغيير تنفيذها. ويبقى الهدف والحدود والدليل ظاهرًا.
CAPABILITYChargeOrder
01الهدف
تحصيل قيمة الطلب مرة واحدة فقط.
02العقد
المدخلات والنتائج والضمانات.
03الصلاحية
الموارد الممنوحة فقط.
04التنفيذ
الشيفرة التي تفي بالاتفاق.
مثال تصوري · الصياغة والأدوات قيد التطوير
مراجعة دلالية
راجع الآثار.
يُعرض التغيير بحسب أثره على الناس والنظام وضماناته.
نيتكأعد المحاولة عند تعطل الشبكة.
المسؤولية
يبقى الهدف هو التحصيل مرة واحدة.
النطاق
الاتصال الجديد يحتاج إلى قرارك.
الدليل
يوضح كل ضمان كيف جرى التحقق منه.
قراركما يتغير فعلًا.
صُممت لهذا الأسلوب في البناء
أربعة قرارات تصميم.
قابلة للكتابة بواسطة الوكلاء
أدوار واضحة؛ الأخطاء المعقولة يجب أن تظهر.
يقين محدد
مثبت أو مختبر أو غير مفحوص: لكل وصف معنى محدد.
تكرار سريع
فحص تدريجي وأداء أصلي بوصفهما هدفين قابلين للقياس.
الوضع الفعلي
نعمل على بناء Verve.
اكتمل تعريف النموذج. تتقدم النسخة 1.0 ومترجم Rust على مراحل؛ وسنعلن القدرات مع أدلتها.
الرخصةApache 2.0