UNITY هي لغة برمجة بُنيت من قِبل ك. ماني تشاندي وجاياديف ميسرا لكتابهم “Parallel Program Design: A Foundation”. تُعتبر UNITY لغة نظرية تركز على “ما” بدلاً من “أين” أو “متى” أو “كيف”. تتميز اللغة بعدم وجود طريقة للتحكم في تدفق البرنامج، حيث تعمل عبارات البرنامج بطريقة غير محددة حتى تتوقف عندما لا تُسبب العبارات أي تغييرات أثناء التنفيذ. يسمح هذا للبرامج بالتشغيل بشكل لا محدود، مثل أنظمة الطيران التلقائي أو أنظمة سلامة محطات الطاقة، بالإضافة إلى البرامج التي قد تنتهي عادة (والتي تتقارب هنا إلى نقطة ثابتة).
تتميز UNITY بالعديد من الخصائص والميزات المميزة. فهي تقدم نموذجًا فريدًا للتحكم في تدفق البرنامج حيث لا توجد طرق تقليدية للتحكم مثل الحلقات أو الشروط، بل تعتمد على التغييرات التي يسببها كل بيان في البرنامج خلال التنفيذ. هذا يجعل من الصعب تحديد نقطة نهاية للبرنامج، مما يسمح بتنفيذ برامج تعمل بشكل دائم.
وتُعد ويكيبيديا مصدرًا جيدًا لفهم أعمق للغة UNITY وميزاتها واستخداماتها المحتملة.