لغة البرمجة Datafun هي لغة برمجة بسيطة ونقية ووظيفية بشكل كامل، تعتمد على تعميم لغة Datalog. تتميز Datafun بقدرتها على التعبير بشكل موجز وإعلاني عن نقاط ثابتة للتطبيقات التنموية على شبكات نصف شبه ترتيبية. تم إنشاء هذه اللغة من قبل Michael Arntzenius، وقد ظهرت لأول مرة في عام 2015.
يمكن العثور على معلومات إضافية حول Datafun على موقعها الرسمي على الويب عبر هذا الرابط: Datafun Website.
يتمحور البحث المتعلق ب Datafun على تكامل بين Datalog وحساب اللامبدا من خلال أنواع الزيادة المتوازنة. ويمكن الوصول إلى مستودع GitHub الخاص بالبحث عبر هذا الرابط: Datafun GitHub Repository. في هذا المستودع، يمكن العثور على وصف للمشروع يوضح أن البحث يركز على تكامل Datalog وحساب اللامبدا من خلال أنواع الزيادة المتوازنة.
تشير البيانات المتوفرة إلى أن لغة Datafun تمتلك نوعًا معينًا من الإصدارات على GitHub وتعاني من عدد محدود من المشاكل المفتوحة. تم إنشاء أول تعهد في المستودع الخاص بها في عام 2015. تفاصيل إضافية حول اللغة، مثل نطاق اللغة وملحقات الملفات ومستوى التحكم في المحرر وغيرها، غير متوفرة في البيانات المقدمة.
بالإضافة إلى ذلك، تم إنشاء Datafun في مجتمع جامعة برمنجهام. تلك هي المعلومات المتوفرة حاليًا حول Datafun، والتي تظهر أنها لغة برمجة مفتوحة المصدر.