Bosque

Bosque
Класс языка	мультипарадигмальный: функциональное, типизированный язык
Появился в	15 апреля 2019; 5 лет назад (2019-04-15)
Автор	Mark Marron
Разработчик	Microsoft
Испытал влияние	JavaScript, TypeScript, ML
Лицензия	MIT License
Сайт	microsoft.com/en-us/research/project/bosque-programming-language/
Платформа	Windows[1]

Bosque — свободный язык программирования с открытым исходным кодом, разработанный Microsoft. Bosque вдохновлён синтаксисом и системой типов TypeScript, а также семантикой ML и NodeJS/JavaScript^[2][3]. Целью разработки языка было повышение качества программного обеспечения и повышение производительности труда разработчиков^[4].

Bosque был разработан специалистом по информатике Microsoft Research Марком Марроном^[5]. Автор описывает этот язык как попытку выйти за рамки модели структурного программирования, ставшей популярной в 1970-х^[3][6]. Парадигма структурного программирования, в которой управление потоком выполнения осуществляется с помощью циклов, условных операторов и подпрограмм, стала популярной после публикации в 1968 году статьи компьютерного учёного Эдсгера Дейкстры «Go To Statement Considered Harmful». Маррон считает, что мы можем добиться большего, избавившись от таких источников сложности, как циклы, изменяемое состояние и ссылочное равенство. Результатом раскрытия этой идеи Маррона и является Bosque, представляющий парадигму программирования, которую Маррон в своей статье назвал «регуляризованным программированием». Спецификация Bosque, синтаксический анализатор, средство проверки типов, эталонный интерпретатор и поддержка IDE выпущены под лицензией MIT и доступны на GitHub^[7].

Сложение двух чисел

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

• Dafny^[англ.]
• F*

• Mark Marron (2019). "Regularized Programming with the BOSQUE Language" (Document). Microsoft Research. {{cite document}}: Неизвестный параметр |url= игнорируется ()
• Learn Bosque Programming: Discover the world's first regularized programming language.. — Packt Publishing, 2021. — ISBN 978-1839211973.

• Язык программирования Bosque Programming на сайте Microsoft Research
• GitHub — microsoft/BosqueLanguage на GitHub: The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.