5 ms·

It's a language research project. > In the Bosque project we ask the question of what happens if the IR is designed explicitly to support the rich needs of aut

It's a language research project. > In the Bosque project we ask the question of what happens if the IR is designed explicitly to support the rich needs of automated code reasoning, IDE tooling, etc. With this novel IR first perspective we are exploring a new way to think about and build a language intermediate representation and tools that utilize it. Our initial experiments show that this empowers a range of next-generation experiences including symbolic-testing, enhanced fuzzing, soft-realtime compilation with stable GC support, API auto-marshaling, and more!

throwaway_pdp09 6y ago
Then tell us this. In fact stick it somewhere obvious. Also please talk straight, please don't mention "next-generation experiences", that's just marketing nothingspeak to HN techies. "enhanced fuzzing" - as opposed to what? "soft-realtime compilation" - meaning...? "stable GC support" - oh thank god for that, finally GC is reliable and can be used in production. thankyou thankyou thankyou for banishing GC instability.
- steveklabnik 6y ago
  > Then tell us this. In fact stick it somewhere obvious. The first sentence of this page: > The Bosque programming language is a breakthrough research project from Microsoft Research. "Microsoft Research" is in italics, even.
  - throwaway_pdp09 6y ago
    And I quoted exactly that line. In my first post.
    - TomMarius 6y ago
      Why are you asking unrelated questions then? The goal is not to motivate you to use it, especially not you who seem to be uninterested in both the goals and the ways the team has proposed. On the other hand I like the direction - but I am not going to use it on a daily basis either, maybe in a few years.
      - throwaway_pdp09 6y ago
        The base question was, what is it for? That is the ultimate purpose of this language. That's not an 'unrelated' question. > The goal is not to motivate you to use it, especially not you who seem to be uninterested in both the goals and the ways the team has proposed I knew neither the goals or nor the ways of this team. Tell me and as a guy interested in languages, I will be interested. > I like the direction So what is the direction? All I'm asking for is information on this project, clearly given and not wrapped up in idiot marketing drivel ("stable GC support" FFS)

throwaway_pdp09 6y ago

Then tell us this. In fact stick it somewhere obvious. Also please talk straight, please don't mention "next-generation experiences", that's just marketing nothingspeak to HN techies. "enhanced fuzzing" - as opposed to what? "soft-realtime compilation" - meaning...? "stable GC support" - oh thank god for that, finally GC is reliable and can be used in production. thankyou thankyou thankyou for banishing GC instability.

steveklabnik 6y ago
> Then tell us this. In fact stick it somewhere obvious. The first sentence of this page: > The Bosque programming language is a breakthrough research project from Microsoft Research. "Microsoft Research" is in italics, even.
- throwaway_pdp09 6y ago
  And I quoted exactly that line. In my first post.
  - TomMarius 6y ago
    Why are you asking unrelated questions then? The goal is not to motivate you to use it, especially not you who seem to be uninterested in both the goals and the ways the team has proposed. On the other hand I like the direction - but I am not going to use it on a daily basis either, maybe in a few years.
    - throwaway_pdp09 6y ago
      The base question was, what is it for? That is the ultimate purpose of this language. That's not an 'unrelated' question. > The goal is not to motivate you to use it, especially not you who seem to be uninterested in both the goals and the ways the team has proposed I knew neither the goals or nor the ways of this team. Tell me and as a guy interested in languages, I will be interested. > I like the direction So what is the direction? All I'm asking for is information on this project, clearly given and not wrapped up in idiot marketing drivel ("stable GC support" FFS)