Bosque
Страницу в данный момент активно редактирует участник Анвар Голоев. |
Bosque | |
---|---|
Класс языка | |
Появился в | 2019 |
Автор | Mark Marron |
Разработчик | Microsoft |
Испытал влияние | JavaScript, TypeScript, MLML |
Лицензия | 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
См. также
Литература
- 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.
Примечания
- ↑ https://github.com/Microsoft/BosqueLanguage
- ↑ Bosque is Microsoft's new open source, TypeScript-inspired programming language (англ.). BetaNews (20 апреля 2019). Дата обращения: 28 сентября 2021.
- ↑ 1 2 Thomas Claburn in San Francisco. Microsoft debuts Bosque – a new programming language with no loops, inspired by TypeScript (англ.). www.theregister.com. Дата обращения: 28 сентября 2021.
- ↑ Microsoft's New Programming Language 'Bosque' Keeps Your Code Simple (амер. англ.). Fossbytes (19 апреля 2019). Дата обращения: 28 сентября 2021.
- ↑ Nick Kolakowski. Microsoft’s Bosque Language Wants to Change Programming Forever (англ.). Dice Insights (23 апреля 2019). Дата обращения: 28 сентября 2021.
- ↑ Microsoft Introduces Bosque, a Programming Language for Writing Easy-to-Reason-about Code (англ.). InfoQ. Дата обращения: 28 сентября 2021.
- ↑ Bosque Programming Language. — 2021-09-27.