Bosque (Programming Language)

From Handwiki
Short description: Programming language
Bosque
Bosque logo.png
ParadigmMulti-paradigm: functional, typed language
Designed byMark Marron
DeveloperMicrosoft
First appearedMarch 3, 2019; 5 years ago (2019-03-03)[1]
LicenseMIT License
Filename extensions.bsq[2]
Websitewww.microsoft.com/en-us/research/project/bosque-programming-language/
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 "Go To Statement Considered Harmful" by computer scientist Edsger Dijkstra. Marron believes we can do better by getting rid of sources of complexity like 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

  • Dafny
  • F* (programming language)
  • Free software movement

References

  1. ↑ "BosqueLanguage". Microsoft. March 3, 2019. https://github.com/Microsoft/BosqueLanguage. 
  2. ↑ Using Bosque - Bosque Programming Language[|permanent dead link|dead link}}]
  3. ↑ 3.0 3.1 Microsoft debuts Bosque – a new programming language with no loops, inspired by TypeScript
  4. ↑ Bosque is Microsoft's new open source, TypeScript-inspired programming language
  5. ↑ Microsoft aims for simplicity with Bosque programming language
  6. ↑ Microsoft’s New Programming Language ‘Bosque’ Keeps Your Code Simple
  7. ↑ Microsoft’s Bosque Language Wants to Change Programming Forever
  8. ↑ Microsoft Introduces Bosque, a Programming Language for Writing Easy-to-Reason-about Code
  9. ↑ "Bosque Programming Language". May 7, 2022. https://github.com/Microsoft/BosqueLanguage. 

Further reading

  • Mark Marron (2019). "Regularized Programming with the BOSQUE Language". Microsoft Research. https://www.microsoft.com/en-us/research/uploads/prod/2019/04/beyond_structured_report_v2.pdf. 
  • Learn Bosque Programming: Discover the world's first regularized programming language.. Packt Publishing. 2021. 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.




Retrieved from "https://handwiki.org/wiki/index.php?title=Bosque_(programming_language)&oldid=3377603"

Categories: [Microsoft free software]

↧ Download as ZWI file | Last modified: 07/27/2024 23:02:41 | 7 views
☰ Source: https://handwiki.org/wiki/Bosque_(programming_language) | License: CC BY-SA 3.0

✘
ZWI is not signed. [what is this?]

ZWI viewer by the EncyclosphereKSF