microsoft/BosqueLanguage
View on GitHub ↗ ★ 5,200 TypeScript archived
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
19 mentions on Hacker News by 18 people: 11 stories, 8 comments · first 2019-04-16 · latest 2024-02-29
20082026
-
Bosque? https://github.com/microsoft/BosqueLanguage
comment by igouy · 2024-02-29 · in The Claro Programming Language -
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…
comment by version_five · 2022-06-04 · in Ask HN: What is on the cutting edge of programming language design and research? -
…"SafeStrings: Representing Strings as Structured Data" https://arxiv.org/abs/1904.11254 Bosque https://github.com/microsoft/BosqueLanguage/blob/master/docs...
comment by igouy · 2021-08-04 · in Are dynamic languages going to replace static languages? (2003) -
…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,…
comment by jermd · 2020-12-22 · in Show HN: Tuna Lang -
…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...
comment by klibertp · 2020-05-14 · in Bosque Programming Language -
Github: https://github.com/Microsoft/BosqueLanguage
comment by kapilkaisare · 2020-05-13 · in Regularized Programming with the Bosque Language [pdf] -
Some comments on the code, based on Tictactoe example ( https://github.com/Microsoft/BosqueLanguage/blob/master/docs... ): 1. overall quite nice looking and easy to understand 2. too verbose in places, e.g. this constant structure: const…
comment by cabalamat · 2019-04-17 · in Bosque Programming Language -
Direct link to github repository: https://github.com/Microsoft/BosqueLanguage
comment by ptrott2017 · 2019-04-17 · in Bosque Programming Language