نوع الوحدة

في مجال المنطق الرياضي وعلوم الحاسوب المعروف بنظرية الأنواع ، يُعرف النوع الأحادي بأنه نوع يسمح بقيمة واحدة فقط (وبالتالي لا يمكنه استيعاب أي معلومات). يمكن أن تكون المجموعة الحاملة (المجموعة الأساسية) المرتبطة بالنوع الأحادي أي مجموعة أحادية . يوجد تماثل بين أي مجموعتين من هذا النوع، لذا جرت العادة على الحديث عن النوع الأحادي وتجاهل تفاصيل قيمته. يمكن أيضًا اعتبار النوع الأحادي نوعًا من الأصفار ، أي ناتج ضرب لا أنواع.

يُعدّ نوع الوحدة الكائن النهائي في فئة الأنواع والدوال المُحددة النوع. يجب عدم الخلط بينه وبين النوع الصفري أو الفارغ ، الذي لا يسمح بأي قيم وهو الكائن الأولي في هذه الفئة. وبالمثل، فإنّ النوع المنطقي (Boolean) هو النوع الذي يقبل قيمتين .

يُستخدم نوع الوحدة في معظم لغات البرمجة الوظيفية . أما نوع الفارغة ، المستخدم في بعض لغات البرمجة الإجرائية، فيؤدي بعض وظائفه، ولكن نظرًا لأن مجموعة حاملاته فارغة، فإنه يعاني من بعض القيود (كما هو موضح أدناه).

توفر العديد من لغات برمجة الكمبيوتر نوع الوحدة لتحديد نوع نتيجة الدالة التي يكون الغرض الوحيد منها هو إحداث تأثير جانبي ، ونوع وسيط الدالة التي لا تتطلب وسائط.

• في لغات Haskell و Rust و Elm ، يتم استدعاء نوع الوحدة ()وقيمته الوحيدة هي أيضًا ()، مما يعكس تفسير 0-tuple.
• في اللغات المنحدرة من لغة ML (بما في ذلك OCaml و Standard ML و F# )، يتم استدعاء النوع unitولكن يتم كتابة القيمة على النحو التالي ().
• في لغة سكالا ، يُطلق على نوع الوحدة اسم Unitويتم كتابة قيمته الوحيدة على النحو التالي (): .
• في لغة Common Lisp، يُعدّ النوع المسمى NULL نوعًا أحاديًا له قيمة واحدة، وهي الرمز NIL . يجب عدم الخلط بينه وبين النوع NIL ، وهو النوع الأدنى .
• في لغة بايثون ، يوجد نوع يُسمى NoneTypeيسمح بقيمة واحدة لـ None. في تعليقات النوع الثابتة الاختيارية في بايثون، يتم تمثيل هذا النوع على النحو التالي None: . ^{[ 1 ]}
• في لغة Swift ، يُطلق على نوع الوحدة اسم Voidor ()وقيمته الوحيدة هي أيضًا ()، مما يعكس تفسير 0-tuple.
• في لغة جافا ، يُطلق على نوع الوحدة اسم ` Voidtrue` وقيمته الوحيدة هي `true` null. لا يمكن إنشاء مثيل له. يُستخدم في الأنواع العامة للدلالة على أنواع الإرجاع لـ `true` void.
• في لغة Go ، يتم كتابة نوع الوحدة struct{}وقيمتها هي struct{}{}.
• في لغة PHP ، يُطلق على نوع الوحدة اسم null، وقيمته الوحيدة هي NULL.
• في لغة جافا سكريبت ، كل من Null(قيمته الوحيدة هي null) و Undefined(قيمته الوحيدة هي undefined) هما نوعان من أنواع الوحدات المضمنة.
• في لغة Kotlin ، Unitهو كائن أحادي القيمة له قيمة واحدة فقط: Unitالكائن.
• في لغة روبي ، nilهذا هو المثال الوحيد للفئة NilClass.
• في لغة C++ ، std::monostateتمت إضافة نوع الوحدة في الإصدار C++17 . قبل ذلك، كان من الممكن تعريف نوع وحدة مخصص باستخدام بنية فارغة مثل struct Empty {}.
• في لغة دارت ، كل Nullمن السجل الفارغ ( ()، منذ دارت 3) له قيمة واحدة ممكنة، على التوالي، nullو ().

void f ( void ) {} void g ( void ) {}int main ( void ) { f ( g ()); // خطأ وقت الترجمة هنا return 0 ; }

class UnitType {}; constexpr UnitType UNIT ;UnitType f ( UnitType ) noexcept { return UNIT ; }UnitType g ( UnitType ) noexcept { return UNIT ; }int main () { f ( g ( UNIT )); return 0 ; }

import java.util.concurrent.* ;ExecutorService executorService = Executors.newFixedThreadPool ( 2 ) ;​CompletableFuture <Void> future = CompletableFuture.runAsync (() - > { try { // محاكاة بعض العمليات System.out.println ( "بدأت المهمة." ) ; Thread.sleep ( 2000 ) ; // محاكاة مهمة لمدة ثانيتين System.out.println ( " اكتملت المهمة." ); } catch ( InterruptedException e ) { System.err.println ( " تمت مقاطعة المهمة . " ) ; } } , executorService ) ;

public static Void f ( Void x ) { return null ; }public static Void g ( Void x ) { return null ; }public static void main ( String [] args ) { f ( g ( null )); }

typeof ( null ) returnThatSpecialThing () { return null ; }void writeTypeOfNull () { writeln ( typeof ( null )); // يطبع: void }

• أي نوع
• النوع السفلي
• نمط Singleton (حيث يكون لفئة معينة مثيل واحد فقط، ولكن عادةً لا تحتفظ الفئات الأخرى بمراجع غير قابلة للتصفير ذات أنواع ضيقة إليها)
• غير محدد
• نوع فارغ

• بيرس، بنجامين سي. (2002). أنواع ولغات البرمجة . مطبعة معهد ماساتشوستس للتكنولوجيا . الصفحات 118-119 . ISBN  0-262-16209-1.
• نوع الوحدة في مختبر ن