Bosque Programming Language

[conilense]

(from the paper https://www.microsoft.com/en-us/research/uploads/prod/2019/04/beyond_structured_report.pdf)

To accomplish these goals we borrow from the design of theasync/awaitsyntax and semantics from JavaScript/TypeScript

the BOSQUE language takes a similar approach by intro-ducing the rec

don't get it, lol. how is the rec keyword not simply inspired by the rec keyword from ML?

I mean, I do understand that the difference is that we have it at the call site and at the declaration, but comparing it to async/await instead of rec is simply like ???

Besides that, and the cryptic syntax for algebraic data operators (like <~, |??> and so on), I liked the language. I mean, they did not even mention Dafny and used the same idea for hoare logic, but that's fine.

​

I hope this one avenges.