Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Bosque
ПарадигмаМультипарадигма : функциональный , типизированный язык
РазработаноМарк Маррон
РазработчикMicrosoft
Впервые появился3 марта 2019 г . ; 2 года назад [1] ( 2019-03-03 )
ЛицензияЛицензия MIT
Расширения имени файла.bsq [2]
Интернет сайтwww .microsoft .com / en-us / research / project / bosque-programming-language /
Под влиянием
JavaScript , TypeScript , ML

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

Обзор [ править ]

Bosque был разработан специалистом по информатике из Microsoft Research Марком Марроном [7], который описывает язык как попытку выйти за рамки модели структурированного программирования , ставшей популярной в 1970-х годах. [3] [8]

Парадигма структурированного программирования, в которой управление потоком осуществляется с помощью циклов, условных операторов и подпрограмм, стала популярной после публикации в 1968 году статьи компьютерного ученого Эдсгера Дейкстры под названием « Перейти к утверждению, признанному вредным » . Маррон считает, что мы можем добиться большего, избавившись от таких источников сложности, как циклы , изменяемое состояние и ссылочное равенство. Результатом является Bosque, представляющий парадигму программирования, которую Маррон в своей статье назвал «регуляризованным программированием».

Спецификация Bosque, синтаксический анализатор, средство проверки типов, эталонный интерпретатор и поддержка IDE лицензированы по лицензии MIT и доступны на GitHub . [9]

Примеры [ править ]

Добавьте 2 числа [ править ]

функция add2 (x: Int, y: Int): Int { вернуть x + y;}add2 (2, 3) // 5add2 (x = 2, y = 3) // 5add2 (y = 2, 5) // 7

См. Также [ править ]

  • Дафни
  • F * (язык программирования)
  • Движение за свободное программное обеспечение

Ссылки [ править ]

  1. ^ "BosqueLanguage" . Microsoft. 3 марта 2019 . Проверено 29 апреля 2019 года .
  2. ^ Использование Bosque - язык программирования Bosque
  3. ^ a b Microsoft представляет Bosque - новый язык программирования без циклов, вдохновленный TypeScript
  4. ^ Bosque - новый язык программирования Microsoft с открытым исходным кодом, вдохновленный TypeScript.
  5. ^ Microsoft стремится к простоте с языком программирования Bosque
  6. ^ Новый язык программирования Microsoft Bosque делает ваш код простым
  7. ^ Microsoft's Bosque Language хочет навсегда изменить программирование
  8. ^ Microsoft представляет Bosque, язык программирования для написания понятного кода
  9. ^ https://github.com/Microsoft/BosqueLanguage

Дальнейшее чтение [ править ]

  • Марк Маррон (2019). «Регулярное программирование на языке BOSQUE» (PDF) . Microsoft Research . Цитировать журнал требует |journal=( помощь )

Внешние ссылки [ править ]

  • Язык программирования Bosque - Microsoft Research
  • GitHub - microsoft / BosqueLanguage: язык программирования Bosque - это эксперимент по упорядоченному проектированию для быстрого и надежного жизненного цикла разработки программного обеспечения с помощью компьютера.
  • v
  • т
  • е