BosqueLanguage VS BosqueCore

Very interesting, so this is another potential for Typescript -> Native code.

The feature set looks pretty neat, and it's probably the first project by a larger company that I've seen use deno (required for building).

Docs are pretty light, but there is _some_ here: https://github.com/microsoft/BosqueLanguage/blob/master/docs...

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

First, since i'm interested in programming languages, I ran into microsoft's Bosque which one of its goals is a garbage collector that never stops the world. Unfortunately they do not provide any info about it, so I begun looking by myself.

Create a folder you want to work out of and copy the docker file from the Bosque git repository into that folder. Using the command palette (ctrl+shift+p on Linux), select to open a folder in a container. Select the folder and instead of selectinging the nice variety of base containers they have built-in select to use the docker file that is in the folder. Just wait and eventually it builds the image and loads the folder. (Going forward it will turn on and shut off the image when you run this folder, nice!)

Yes, Bosque https://github.com/microsoft/BosqueLanguage

Hi, this is Mark, the lead researcher and developer on the project. Cool to see it on HN today. Happy to answer any questions!

As a bit of an update, this project is not at Microsoft Research anymore. The new (main) repository is at https://github.com/BosqueLanguage/BosqueCore. MSR was a great place to work and do the initial work on this project, but was not the right place to make this a fully free and open language for real users.

Progress was a but slow in the last year while I found a new home but I am very excited to be starting as a professor at the University of Kentucy in January where Bosque will be the main project for my group! There is a paper from earlier this year that describes the language design, based on our experiments over the last few years, and shows some results from prototype tools built on the language. The Intro and Section 7 are pretty good for a quick overview of things: https://github.com/BosqueLanguage/BosqueCore/blob/main/docs/...