Bosque (dasturlash tili)
Bosque — bu Microsoft tomonidan ishlab chiqilgan bepul va ochiq kodli dasturlash tili[3][4]. Til dizayn maqsadlari va dasturiy taʼminot sifatini yaxshilashni amalga oshirishni oʻz ichiga oladi[5][6].
 | |
| Paradigmalari | Ko‘p paradigma: funsional, yozilgan til |
|---|---|
| Muallifi | Mark Marron |
| Tuzilgan yili | 3-mart, 2019-yil[1] |
| Litsenziya | MIT License |
| Fayl kengaytmalari | .bsq[2] |
| Vebsayt | microsoft.com/en-us/research/project/bosque-programming-language/ |
| Bunga asos boʻlgan tillar | |
| JavaScript, TypeScript, ML | |
Umumiy koʻrinish
tahrirBosque Microsoft Research kompyuter olimi Mark Marron[7] tomonidan ishlab chiqilgan boʻlib, u tilni 1970-yillarda mashhur boʻlgan tuzilgan dasturlash modelidan tashqariga chiqishga urinish sifatida tasvirlaydi[8].
Oqimlarni boshqarish sikllar, shartlar va quyi dasturlar bilan boshqariladigan tizimli dasturlash paradigmasi 1968-yilda kompyuter olimi Edsger Dijkstra tomonidan „Zararli deb hisoblangan bayonotga oʻtish“ nomli maqoladan keyin mashhur boʻlgan.
Bosque spetsifikatsiyasi, tahlil qiluvchi, tip tekshiruvi, maʼlumot tarjimoni va IDE qoʻllab-quvvatlashi MIT litsenziyasi ostida litsenziyalagan[9].
Misollar
tahrirIkkita raqam qoʻshish masalasi
tahrirfunction 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* (dasturlash tili)
- Bepul dasturiy taʼminot harakati
Manbalar
tahrir- ↑ „BosqueLanguage“. Microsoft (2019-yil 3-mart). Qaraldi: 2019-yil 29-aprel.
- ↑ Using Bosque — Bosque Programming Language[sayt ishlamaydi]
- ↑ Microsoft debuts Bosque — a new programming language with no loops, inspired by TypeScript
- ↑ Bosque is Microsoftʼs new open source, TypeScript-inspired programming language
- ↑ Microsoft aims for simplicity with Bosque programming language
- ↑ Microsoftʼs New Programming Language ‘Bosqueʼ Keeps Your Code Simple
- ↑ Microsoftʼs Bosque Language Wants to Change Programming Forever
- ↑ Microsoft Introduces Bosque, a Programming Language for Writing Easy-to-Reason-about Code
- ↑ „Bosque Programming Language“. GitHub (2022-yil 7-may).
Yana oʻqish
tahrir- 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.
- Kaczmarek, Sebastian. Learn Bosque Programming: Discover the world's first regularized programming language.. Packt Publishing, 2021. ISBN 978-1839211973.