Bosque Programming Language

[JN]

"The Bosque programming language is a breakthrough research 
project from Microsoft Research. Bosque simultaneously supports a 
high productivity development experience expected by modern cloud 
developers, coming from say a TypeScript/Node stack, while also 
providing a resource efficient and predictable runtime with a 
performance profile similar to a native C++ application. Beyond 
supporting these, previously conflicting objectives in one 
language, Bosque also brings an unprecedented tooling ecosystem 
including zero-effort verification, symbolic testing, dependency 
management validation, time-travel debugging, and more."

https://github.com/microsoft/BosqueLanguage/blob/master/README.md