Whiley (programming language) (original) (raw)

Whiley es un lenguaje compilado multiparadigma de propósito general desarrollado por David Pearce.​ El lenguaje combina características de los paradigmas Funcionales e Imperativos, maneja tipos estáticos y soporta el uso de especificaciones formales a través de precondiciones y postcondiciones de funciones e invariantes de lazos. El lenguajes es también notable por el uso de tipado sensitivo al flujo. El proyecto Whiley empezó en 2009 en respuesta al "Gran reto del compilador verificante" lanzado por Tony Hoare en 2003.​ La primera versión pública de Whiley estuvo disponible en junio de 2010.​