Bosque: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Спасено источников — 0, отмечено мёртвыми — 1. Сообщить об ошибке. См. FAQ.) #IABot (v2.0.9.5
 
(не показано 13 промежуточных версий 6 участников)
Строка 1: Строка 1:
{{редактирую|date=28 сентября 2021|user=[[Служебная:Contributions/Анвар Голоев|Анвар Голоев]]}}
{{Язык программирования
{{Язык программирования
| name = Bosque
| name = Bosque
| logo = Bosque logo.png
| logo size = 256px
| logo alt =
| logo caption =
| paradigm = [[Мультипарадигмальный язык программирования|мультипарадигмальный]]:
| paradigm = [[Мультипарадигмальный язык программирования|мультипарадигмальный]]:
[[Функциональное программирование|функциональное]], [[типизированный язык]]
[[Функциональное программирование|функциональное]], [[типизированный язык]]
| дата выпуска = {{start date and age|2019|04|15}}
| designer = Mark Marron
| designer = Mark Marron
| developer = [[Microsoft]]
| developer = [[Microsoft]]
| latest release version =
| latest release date =
| latest release version =
| latest preview version =
| latest release date =
| latest preview date =
| latest preview version =
| latest preview date =
| license = [[MIT License]]
| license = [[MIT License]]
| file ext = .bsq<ref>[https://bosque-lang.com/docs/using-bosque/ Using Bosque - Bosque Programming Language]</ref>
| file ext = .bsq<ref>[https://bosque-lang.com/docs/using-bosque/ Using Bosque - Bosque Programming Language]{{Недоступная ссылка}}</ref>
| website = {{URL|https://www.microsoft.com/en-us/research/project/bosque-programming-language/}}
| website = {{URL|https://www.microsoft.com/en-us/research/project/bosque-programming-language/}}
| influenced_by = [[JavaScript]], [[TypeScript]], [[MLML]]
| influenced_by = [[JavaScript]], [[TypeScript]], [[ML]]
}}
}}
'''Bosque''' — это свободный [[язык программирования]] с открытым исходным кодом, разработанный [[Microsoft]]. Bosque вдохновлён синтаксисом и системой типов [[TypeScript]], а также семантикой [[ML]] и [[NodeJS]]/[[JavaScript]]<ref>{{Cite web|lang=en|url=https://betanews.com/2019/04/20/microsoft-bosque/|title=Bosque is Microsoft's new open source, TypeScript-inspired programming language|website=BetaNews|date=2019-04-20|access-date=2021-09-28}}</ref><ref name=":0">{{Cite web|lang=en|url=https://www.theregister.com/2019/04/18/microsoft_bosque_programming_language/|title=Microsoft debuts Bosque – a new programming language with no loops, inspired by TypeScript|author=Thomas Claburn in San Francisco|website=www.theregister.com|access-date=2021-09-28}}</ref>. Целью разработки языка было повышение качества программного обеспечения и повышение производительности труда разработчиков<ref>{{Cite web|lang=en-US|url=https://fossbytes.com/microsofts-new-programming-language-bosque-keeps-your-code-simple/|title=Microsoft's New Programming Language 'Bosque' Keeps Your Code Simple|website=Fossbytes|date=2019-04-19|access-date=2021-09-28}}</ref>.
'''Bosque''' — свободный [[язык программирования]] с открытым исходным кодом, разработанный [[Microsoft]]. Bosque вдохновлён синтаксисом и системой типов [[TypeScript]], а также семантикой [[ML]] и [[NodeJS]]/[[JavaScript]]<ref>{{Cite web|lang=en|url=https://betanews.com/2019/04/20/microsoft-bosque/|title=Bosque is Microsoft's new open source, TypeScript-inspired programming language|website=BetaNews|date=2019-04-20|access-date=2021-09-28|archive-date=2021-09-28|archive-url=https://web.archive.org/web/20210928142633/https://betanews.com/2019/04/20/microsoft-bosque/|deadlink=no}}</ref><ref name=":0">{{Cite web|lang=en|url=https://www.theregister.com/2019/04/18/microsoft_bosque_programming_language/|title=Microsoft debuts Bosque – a new programming language with no loops, inspired by TypeScript|author=Thomas Claburn in San Francisco|website=www.theregister.com|access-date=2021-09-28|archive-date=2021-09-28|archive-url=https://web.archive.org/web/20210928142633/https://www.theregister.com/2019/04/18/microsoft_bosque_programming_language/|deadlink=no}}</ref>. Целью разработки языка было повышение качества программного обеспечения и повышение производительности труда разработчиков<ref>{{Cite web|lang=en-US|url=https://fossbytes.com/microsofts-new-programming-language-bosque-keeps-your-code-simple/|title=Microsoft's New Programming Language 'Bosque' Keeps Your Code Simple|website=Fossbytes|date=2019-04-19|access-date=2021-09-28|archive-date=2021-09-28|archive-url=https://web.archive.org/web/20210928143126/https://fossbytes.com/microsofts-new-programming-language-bosque-keeps-your-code-simple/|deadlink=no}}</ref>.


== Описание ==
== Описание ==
Bosque был разработан специалистом по информатике [[Microsoft Research]] Марком Марроном<ref>{{Cite web|lang=en|url=https://medium.com/dice-insights/microsofts-bosque-language-wants-to-change-programming-forever-265d65d73c59|title=Microsoft’s Bosque Language Wants to Change Programming Forever|author=Nick Kolakowski|website=Dice Insights|date=2019-04-23|access-date=2021-09-28}}</ref>. Автор описывает этот язык как попытку выйти за рамки модели [[Структурное программирование|структурного программирования]], ставшей популярной в 1970-х<ref name=":0" /><ref>{{Cite web|lang=en|url=https://www.infoq.com/news/2019/06/microsoft-bosque/|title=Microsoft Introduces Bosque, a Programming Language for Writing Easy-to-Reason-about Code|website=InfoQ|access-date=2021-09-28}}</ref>. Парадигма структурного программирования, в которой управление потоком выполнения осуществляется с помощью [[Цикл (программирование)|циклов]], [[Условный оператор|условных операторов]] и [[Подпрограмма|подпрограмм]], стала популярной после публикации в 1968 году статьи компьютерного учёного [[Дейкстра, Эдсгер Вибе|Эдсгера Дейкстры]] «'''Go To Statement Considered Harmful»'''. Маррон считает, что мы можем добиться большего, избавившись от таких источников сложности, как циклы, изменяемое состояние и ссылочное равенство. Результатом раскрытия этой идеи Маррона и является Bosque, представляющий парадигму программирования, которую Маррон в своей статье назвал «регуляризованным программированием». Спецификация Bosque, синтаксический анализатор, средство проверки типов, эталонный интерпретатор и поддержка IDE выпущены под [[Лицензия MIT|лицензией MIT]] и доступны на [[GitHub]]<ref>{{Статья|ссылка=https://github.com/microsoft/BosqueLanguage|заглавие=Bosque Programming Language|год=2021-09-27}}</ref>.
Bosque был разработан специалистом по информатике [[Microsoft Research]] Марком Марроном<ref>{{Cite web|lang=en|url=https://medium.com/dice-insights/microsofts-bosque-language-wants-to-change-programming-forever-265d65d73c59|title=Microsoft’s Bosque Language Wants to Change Programming Forever|author=Nick Kolakowski|website=Dice Insights|date=2019-04-23|access-date=2021-09-28|archive-date=2021-09-28|archive-url=https://web.archive.org/web/20210928144524/https://medium.com/dice-insights/microsofts-bosque-language-wants-to-change-programming-forever-265d65d73c59|deadlink=no}}</ref>. Автор описывает этот язык как попытку выйти за рамки модели [[Структурное программирование|структурного программирования]], ставшей популярной в 1970-х<ref name=":0" /><ref>{{Cite web|lang=en|url=https://www.infoq.com/news/2019/06/microsoft-bosque/|title=Microsoft Introduces Bosque, a Programming Language for Writing Easy-to-Reason-about Code|website=InfoQ|access-date=2021-09-28|archive-date=2021-09-28|archive-url=https://web.archive.org/web/20210928144526/https://www.infoq.com/news/2019/06/microsoft-bosque/|deadlink=no}}</ref>. Парадигма структурного программирования, в которой управление потоком выполнения осуществляется с помощью [[Цикл (программирование)|циклов]], [[Условный оператор|условных операторов]] и [[Подпрограмма|подпрограмм]], стала популярной после публикации в 1968 году статьи компьютерного учёного [[Дейкстра, Эдсгер Вибе|Эдсгера Дейкстры]] «'''Go To Statement Considered Harmful»'''. Маррон считает, что мы можем добиться большего, избавившись от таких источников сложности, как циклы, изменяемое состояние и ссылочное равенство. Результатом раскрытия этой идеи Маррона и является Bosque, представляющий парадигму программирования, которую Маррон в своей статье назвал «регуляризованным программированием». Спецификация Bosque, синтаксический анализатор, средство проверки типов, эталонный интерпретатор и поддержка IDE выпущены под [[Лицензия MIT|лицензией MIT]] и доступны на [[GitHub]]<ref>{{Статья|ссылка=https://github.com/microsoft/BosqueLanguage|заглавие=Bosque Programming Language|год=2021-09-27|издание=|archivedate=2021-09-28|archiveurl=https://web.archive.org/web/20210928144535/https://github.com/microsoft/BosqueLanguage}}</ref>.


== Примеры ==
== Примеры ==

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


Строка 33: Строка 36:
add2(y=2, 5) //7
add2(y=2, 5) //7
</pre>
</pre>

== См. также ==
* {{Iw|Dafny}}
* [[F*]]

== Литература ==
* {{Cite document|author=Mark Marron|title=Regularized Programming with the BOSQUE Language|year=2019|url=https://www.microsoft.com/en-us/research/uploads/prod/2019/04/beyond_structured_report_v2.pdf|publisher=[[Microsoft Research]]}}
* {{Cite book|author1-last=Kaczmarek|author1-first=Sebastian|author2-last=Ibaceta|author2-first=Joel|title=Learn Bosque Programming: Discover the world's first regularized programming language.|date=2021|publisher=[[Packt Publishing]]|isbn=978-1839211973}}

== Ссылки ==
* [https://www.microsoft.com/en-us/research/project/bosque-programming-language/ Язык программирования Bosque Programming на сайте Microsoft Research]
* [https://github.com/Microsoft/BosqueLanguage GitHub — microsoft/BosqueLanguage на GitHub: The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.]


== Примечания ==
== Примечания ==
{{Примечания}}
{{Примечания}}

[[Категория:Microsoft Research]]
[[Категория:Программное обеспечение с лицензией MIT]]
[[Категория:Программное обеспечение, разработанное в 2019 году]]

Текущая версия от 15:36, 10 декабря 2024

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

Литература

[править | править код]
  • 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.

Примечания

[править | править код]
  1. https://github.com/Microsoft/BosqueLanguage
  2. Bosque is Microsoft's new open source, TypeScript-inspired programming language (англ.). BetaNews (20 апреля 2019). Дата обращения: 28 сентября 2021. Архивировано 28 сентября 2021 года.
  3. 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. Архивировано 28 сентября 2021 года.
  4. Microsoft's New Programming Language 'Bosque' Keeps Your Code Simple (амер. англ.). Fossbytes (19 апреля 2019). Дата обращения: 28 сентября 2021. Архивировано 28 сентября 2021 года.
  5. Nick Kolakowski. Microsoft’s Bosque Language Wants to Change Programming Forever (англ.). Dice Insights (23 апреля 2019). Дата обращения: 28 сентября 2021. Архивировано 28 сентября 2021 года.
  6. Microsoft Introduces Bosque, a Programming Language for Writing Easy-to-Reason-about Code (англ.). InfoQ. Дата обращения: 28 сентября 2021. Архивировано 28 сентября 2021 года.
  7. Bosque Programming Language. — 2021-09-27. Архивировано 28 сентября 2021 года.