Kontent qismiga oʻtish

Bosque (dasturlash tili)

Vikipediya, ochiq ensiklopediya
Bosque (dasturlash tili)
Paradigmalari Ko‘p paradigma: funsional, yozilgan til
Muallifi Mark Marron
Tuzilgan yili 3-mart, 2019-yil (5 yil avval) (2019-03-03)[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].

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