الأنواع والتدفق

الأنواع الدقيقة

لا توجد تحويلات ضمنية. كل قيمة عددية مكتوبة لها نوعها الدقيق وعرضها وإشارتها. العمليات تحتاج نوعي معاملين متطابقين، والحدود أو الحاويات لا تحوّل القيمة. التحويل الوحيد هو تطبيق اسم نوع عددي صريح مثل ط8(value) أو u8(value)، وقد يوقف التنفيذ عند عدم تمثيل القيمة. يبقى ص64/i64 لنتيجة البداية والفهارس والأطوال وحدود يونيكود. النص ثابت، وc_ptr معتم وقابل للقيمة الفارغة، ولا يمكن تخزين unit. يتيح الربط المهيأ استنتاج النوع، وتتطلب if, while شرطا منطقيا، وreturn نتيجة من النوع المعلن.

الأسماء الأساسية الأخرى هي منطقي / bool ونص / string ومؤشر_سي / c_ptr ووحدة / unit. الحرفيات المنطقية صواب / true وخطأ / false، والمؤشر الفارغ عدم / null. تحتاج المساواة نوعين متطابقين، وتقارن النصوص بايتات UTF-8 بالضبط والمؤشرات بالهوية. لا يمكن تخزين unit أو تمريرها كقيمة أو مقارنتها.

الروابط

دع / let ثابت ومتغير / var قابل للإسناد. كل رابط يحتاج قيمة أولية. يمكن كتابة النوع بعد : أو استنتاجه. لا يسمح بالتظليل. الأنواع العددية المكتوبة لا تتحول ضمنيا حتى داخل قائمة أو سجل أو نتيجة. تشمل 0.7.0 أيضا list<T> وresult<T> والسجلات والقيم القابلة للاستدعاء، وهي إضافات إلى الأنواع الأساسية في MVP.

التدفق والتقييم

الشروط من نوع bool فقط. و / and وأو / or يقصران التقييم، و! ينفي الشرط. تقيم المعاملات والحجج والقيم الأولية من اليسار إلى اليمين. يحسب الإسناد الطرف الأيمن كاملا قبل تعديل الهدف. تستخدم إذا / if ووإلا / else وطالما / while كتلا مع نطاق معجمي. لا يوجد break أو continue. يجب أن تعيد كل مسارات الدالة غير unit القيمة المعلنة. تثبت if الإرجاع إذا أعاد الفرعان، بينما لا تثبته while. الكود الذي يثبت الفاحص أنه غير قابل للوصول مرفوض.

مثال الجمع يطبع 55\n ويرجع الحالة 0. التشخيص والتصحيح يوضح رفض تعديل رابط ثابت.

نطاق الإصدار والمراجع

تصف هذه الصفحة لبات 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.