لغة برمجة JonPRL هي لغة برمجة تم تطويرها بواسطة Jonathan Sterling، وهي تركيز على منطق الإثبات في نظرية النوع الحاسوبية. ظهرت لأول مرة في عام 2015، وتمتلك مختلف الميزات والخصائص التي تجعلها تميز عن غيرها.
تهدف JonPRL إلى توفير منطق دقيق للإثبات يستند إلى نظرية النوع الحاسوبية، مستوحاة من Nuprl. يمكن استخدامها في مجموعة متنوعة من التطبيقات، بما في ذلك التطبيقات ذات الطابع الرياضي والمنطقي وتحليل البرامج.
تتوفر المعلومات حول JonPRL على العديد من المنابر على الإنترنت، بما في ذلك موقعها الرسمي jonprl.org ومجتمعها على GitHub حيث يمكن العثور على العديد من المشكلات والمناقشات والمساهمات.
بالإضافة إلى ذلك، تم توفير معلومات حول JonPRL على صفحة المخزون الخاصة بها على GitHub، والتي توفر نظرة عامة على التطور التاريخي للمشروع وعدد المشكلات وتاريخ أول مساهمة، والتي يمكن العثور عليها على https://github.com/jonsterling/JonPRL.
تجدر الإشارة إلى أن هناك مشروعًا لـ JonPRL الجديد يُعرف باسم RedPRL، والذي يُعتبر تطورًا لـ JonPRL. يمكن العثور على المزيد من المعلومات حول RedPRL على موقعهم الرسمي redprl/sml-redprl.
بشكل عام، تُعتبر JonPRL لغة برمجة متقدمة موجهة نحو البحث في مجالات الحوسبة ومنطق الإثبات، وتوفر مجموعة من الأدوات والميزات التي تجعلها مفيدة للمطورين والباحثين في هذه المجالات.