Whiley هي لغة برمجة تجريبية تجمع بين ميزات من النمطين الوظيفي والإمبراطوري، وتدعم المواصفات الرسمية من خلال شروط وظيفية قبل التنفيذ، وظروف ما بعد التنفيذ، والمتغيرات الثابتة في الحلقة. تستخدم اللغة نوعًا من الطباعة الحساسة للتدفق المعروفة أيضًا بـ “تطبيق التدفق”. بدأ مشروع Whiley في عام 2009 كاستجابة لتحدي “تحدي مترجم التحقق” الذي وضعه توني هور في عام 2003. كانت الإصدارة العامة الأولى لـ Whiley في يونيو 2010. تم تطويرها بشكل أساسي من قبل ديفيد بيرس، وهو مشروع مفتوح المصدر مع مساهمات من مجتمع صغير. تم استخدام النظام في مشاريع بحثية للطلاب وفي تدريس الطلاب الجامعيين. دعمته مؤسسة البحث العلمي لنيوزيلندا “صندوق مارسدين” بين عامي 2012 و 2014. يقوم مترجم Whiley بتوليد رموز لآلة جافا الافتراضية ويمكنه التشغيل مع جافا ولغات أخرى تعتمد على JVM.
من بين ميزاتها أنها تدعم التعليقات في الكود والتحويل الدلالي للتباعد وتعليقات السطر. يعتمد Whiley على نوعية المجتمع ويوجد عدد لا يحصى من مستودعات الحزم المركزية.
لمزيد من المعلومات، يمكنك زيارة موقع ويب لغة Whiley: http://whiley.org/
يمكنك أيضًا قراءة المزيد عن Whiley على صفحتها على ويكيبيديا: https://en.wikipedia.org/wiki/Whiley_(programming_language)