ParaSail es un lenguaje de programación moderno, de alto nivel y de propósito general, con gestión automática de memoria y recogida de basura. Está diseñado para ser fácil de aprender, y su sintaxis es similar a la de Pascal. Los programas ParaSail se compilan en bytecode, que puede ejecutarse en cualquier plataforma que disponga de una máquina virtual ParaSail.
ParaSail fue diseñado por un equipo de la Universidad de Stanford dirigido por el profesor David Ungar. El lenguaje se inspira en Pascal, Smalltalk y Self. Recibe su nombre del parasail, un tipo de cometa.
ParaSail es un lenguaje orientado a objetos con tipado estático. Tiene un sistema de tipos sencillo y potente con herencia y polimorfismo paramétrico. Los programas ParaSail se compilan en bytecode, que puede ejecutarse en cualquier plataforma que disponga de una máquina virtual ParaSail.
ParaSail tiene un modelo de objetos simple y potente. Cada valor es un objeto, y cada objeto tiene un tipo. Los tipos son valores de primera clase y pueden pasarse como argumentos y devolverse desde funciones. ParaSail también tiene un rico conjunto de tipos incorporados, incluyendo enteros, números de punto flotante, cadenas, matrices y registros.
ParaSail dispone de un sofisticado recolector de basura que recupera la memoria de los objetos no utilizados. ParaSail también tiene un enfoque único para la concurrencia, basado en la idea de paso de mensajes. Los programas ParaSail pueden ejecutarse en un único procesador o en un cluster de procesadores.
ParaSail es un proyecto de código abierto, publicado bajo la Licencia MIT.