Bosque (dasturlash tili)
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 |
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].
Umumiy koʻrinish
[tahrir | manbasini tahrirlash]Bosque 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
[tahrir | manbasini tahrirlash]Ikkita raqam qoʻshish masalasi
[tahrir | manbasini tahrirlash]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* (dasturlash tili)
- Bepul dasturiy taʼminot harakati
Manbalar
[tahrir | manbasini tahrirlash]- ↑ „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 | manbasini tahrirlash]- 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.