First I cite a tough question that the Pascal author, Nicklaus Wirth, received:
Secondly I cite U.S. military software technology veteran, Tucker Taft:
(the video is from Microsoft, but Tucker Taft and his projects have hardly anything to do with Microsoft)
The Tucker Taft has his wording, but my subjective summary of the ParaSail programming language is that, the ParaSail is a brand new system programming language, where the typical formal verification is merged to the compiler and the language itself is optimized to deal with the complexity of multithreaded programming and utilization of hundreds of CPU-cores. It will not replace C for the single core, small, 1€ microcontrollers, but it is specifically suitable for use cases, where currently(2016) C++ is roaming: gaming, operating systems, speed optimized applications software.
A 2016_09 fork of the ParaSail that compiles on Raspberry Pi 1 can be downloaded from my Fossil repository:
www.softf1.com/cgi-bin/tree1/technology/...asail_projects.bash/
There's a good chance that a new, speed-optimized version of the ParaSail programming language implementation will be available at 2017 spring, but the project has been in the development for years and the language features seem to have been settled.