BosqueLanguage

Bosque? https://github.com/microsoft/BosqueLanguage

https://github.com/Microsoft/BosqueLanguage I'm not super familiar but it looked cool when I read about it a few years ago Also, differentiable programming is interesting and getting lots of attention (jax, zygote, enzyme, kornia etc). I don't know if there is a "killer app" outside just training neural networks yet, but it's worth watching and e.g. kornia is doing some cools stuff

> For example take a method that wants a string in a particular format, you pass a string in another format and it breaks. "SafeStrings: Representing Strings as Structured Data" https://arxiv.org/abs/1904.11254 Bosque https://github.com/microsoft/BosqueLanguage/blob/master/docs...

Hi all, I'm Jeremy, and I’m excited to be sharing Tuna. I built this because I wanted to develop scalable web services as quickly as possible. I was tired of cobbling together containers, databases, web servers, build tools, and the what-have-you in order to build scalable applications. In Tuna, you can create a stateful web service in just 4 lines of code with zero application-land dependencies. For a non trivial application, I would recommend looking at a simple messenger web service written in Tuna: https://github.com/Conder-Systems/tuna-lang/blob/main/tuna/d.... I think Bosque https://github.com/Microsoft/BosqueLanguage is similar in its “Cloud First Development” ambition. Compared to other programming languages, Tuna is unique because the global state is stored in a database. Under the hood, Tuna compiles to an intermediate represent

> see an interesting language concept, but it's not entirely here how that relates to the initial claim. I didn't see any concept which wouldn't be practiced in PL design for decades. Yeah, they may not be widely known, but suggesting that "structural, nominal, and union" types are anywhere near any kind of "breakthrough" is just too much. If anything, the language seems conservative in its design rather than novel. EDIT: actually, this looks like a much better link, in that there's at least some meat to chew on: https://github.com/microsoft/BosqueLanguage/blob/master/docs...

Github: https://github.com/Microsoft/BosqueLanguage