Bosque (programming language)
Developer Microsoft | | |
First appeared | March 3, 2019[1] | |
---|---|---|
License | MIT License | |
Filename extensions | .bsq[2] | |
Website | www | |
Influenced by | ||
JavaScript, TypeScript, ML |
Bosque is a
free and open-source programming language designed & developed by Microsoft that was inspired by the syntax and types of TypeScript and the semantics of ML and Node/JavaScript.[3][4] Design goals for the language include better software quality and improved developer productivity.[5][6]
Overview
Bosque was designed by Microsoft Research computer scientist Mark Marron,[7] who describes the language as an effort to move beyond the structured programming model that became popular in the 1970s.[3][8]
The structured programming paradigm, in which flow control is managed with loops, conditionals, and subroutines, became popular after a 1968 paper titled "
loops
, mutable state, and reference equality. The result is Bosque, which represents a programming paradigm that Marron, in a paper he wrote, calls "regularized programming."
The Bosque specification, parser, type checker, reference interpreter, and IDE support are licensed under MIT License and available on GitHub.[9]
Examples
Add two numbers
function add2(x: Int, y: Int): Int { return x + y; } add2(2, 3) // 5 add2(x=2, y=3) // 5 add2(y=2, 5) // 7
See also
References
- ^ "BosqueLanguage". Microsoft. March 3, 2019. Retrieved April 29, 2019.
- ^ Using Bosque - Bosque Programming Language [dead link]
- ^ a b Microsoft debuts Bosque – a new programming language with no loops, inspired by TypeScript
- ^ Bosque is Microsoft's new open source, TypeScript-inspired programming language
- ^ Microsoft aims for simplicity with Bosque programming language
- ^ Microsoft’s New Programming Language ‘Bosque’ Keeps Your Code Simple
- ^ Microsoft’s Bosque Language Wants to Change Programming Forever
- ^ Microsoft Introduces Bosque, a Programming Language for Writing Easy-to-Reason-about Code
- ^ "Bosque Programming Language". GitHub. May 7, 2022.
Further reading
- Mark Marron (2019). "Regularized Programming with the BOSQUE Language" (PDF). Microsoft Research.
- Kaczmarek, Sebastian; Ibaceta, Joel (2021). Learn Bosque Programming: Discover the world's first regularized programming language. ISBN 978-1839211973.
External links
- Bosque Programming Language - Microsoft Research
- GitHub - microsoft/BosqueLanguage: The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.