• JN (11/11) May 14 2020 "The Bosque programming language is a breakthrough research
• Mark (8/20) May 15 2020 Very interesting.
• Kagamin (1/5) May 17 2020 Is it the new best strategy?

JN <666total wp.pl> writes:

"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

Mark <smarksc gmail.com> writes:

On Thursday, 14 May 2020 at 11:25:21 UTC, JN wrote:
 "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

Very interesting.

I like their idea of "typed strings", where the type is provided 
by a regular expression or a formal language grammar. I always 
wondered what would be the cost (in run time, compilation time, 
debuggability, etc.) of including such info as part of the type 
and is it worth the benefits to program correctness and clarity. 
It's nice to see that someone is experimenting with that.

Kagamin <spam here.lot> writes:

The runtime itself uses sorted container implementations for 
Sets/Maps so that the variance between average and worst case 
costs of operations is minimized and to protect against 
pathological behaviors (like extreme hash-code collisions).

Is it the new best strategy?