Dasturlash tili

Dasturlash tili – maʼlumotlar (axborotlar)ni va ularni elektron mashinalarda ishlash algoritmlari (dasturlari)ni bayon qilish uchun moʻljallangan rasmiy til; odamning elektron mashina bilan bogʻlanishi uchun ishlatiladigan shartli belgilar tizimi. Dasturlash tili tabiiy til bilan shartli mashina tili orasidagi oʻrinni egallaydi. Dasturlash tilining asosiy vazifasi dasturlar tuzish (dasturlash) vositasi boʻlishi, yaʼni maʼlumotlarni ifodalash va ularni EHM (kompyuter) da ishlashda qoʻllanishidan iborat. Dasturlash tillari sintaksisi (shakl) va semantikasi (ma'nosi) nuqtai nazaridan tavsiflanadi , odatda rasmiy til bilan belgilanadi . Tillar odatda tip tizimi , o'zgaruvchilar va xatolarni qayta ishlashmexanizmlari kabi xususiyatlarni taqdim etadi . Dasturlarni bajarish uchun dasturlash tilini , ya'ni tarjimon yoki kompilyatorni amalga oshirish talab qilinadi . Tarjimon to'g'ridan-to'g'ri manba kodini bajaradi, kompilyator esa bajariladigan dasturni ishlab chiqaradi .

Kompyuter arxitekturasi dasturlash tillarining dizayniga kuchli ta'sir ko'rsatdi, eng keng tarqalgan turi ( ma'lum bir tartibda operatsiyalarni amalga oshiradigan imperativ tillar ) mashhur fon Neyman arxitekturasida yaxshi ishlash uchun ishlab chiqilgan . Dastlabki dasturlash tillari apparat bilan chambarchas bog'langan bo'lsa-da , vaqt o'tishi bilan ular yanada soddalik uchun amalga oshirish tafsilotlarini yashirish uchun ko'proq mavhumlikni ishlab chiqdilar .

Ko'pincha imperativ, funktsional , mantiqiyyoki ob'ektga yo'naltirilgan deb tasniflangan minglab dasturlash tillari turli xil foydalanish uchun ishlab chiqilgan. Dasturlash tilini loyihalashning ko'p jihatlari o'zaro kelishuvlarni o'z ichiga oladi - masalan, istisnolarni qayta ishlash xatolarni boshqarishni osonlashtiradi, lekin ishlash xarajati. Dasturlash tili nazariyasi - bu dasturlash tillarini loyihalash, amalga oshirish, tahlil qilish, tavsiflash va tasniflashni o'rganadigan kompyuter fanining kichik sohasi .

Ta'riflar

Dasturlash tillari tabiiy tillardan shu bilan farq qiladiki, tabiiy tillar odamlar o'rtasidagi o'zaro aloqa uchun ishlatiladi, dasturlash tillari esa odamlarga ko'rsatmalarni mashinalarga etkazish uchun mo'ljallangan. iqtibos kerak.

Kompyuter tili atamasi ba'zan "dasturlash tili" bilan bir-birining o'rnida ishlatiladi. Biroq bu atamalardan foydalanish mualliflar orasida farq qiladi.

Bir foydalanishda dasturlash tillari kompyuter tillarining kichik to'plami sifatida tavsiflanadi. Xuddi shunday, “kompyuter tili” atamasi “dasturlash tili” atamasidan farqli ravishda hisoblashda ishlatiladigan, lekin dasturlash tillari hisoblanmaydigan tillarni tavsiflash uchun ishlatilishi mumkin [ iqtibos keltirish kerak – masalan, belgilash tillari. Baʼzi mualliflar “dasturlash tili” atamasini Turingning toʻliq tillari bilan cheklaydilar. Ko'pgina amaliy dasturlash tillari [[Turing] to'liq bo'lib , ular qaysi dasturlarda hisoblashi mumkinligi bilan tengdir.

Yana bir foydalanish dasturlash tillarini mavhum mashinalarni dasturlash uchun nazariy konstruktsiyalar va kompyuter tillarini cheklangan apparat resurslariga ega bo'lgan jismoniy kompyuterlarda ishlaydigan ularning quyi to'plami sifatida ko'rib chiqadi. Jon C. Reynolds rasmiy spetsifikatsiya tillari xuddi bajarish uchun mo'ljallangan tillar kabi dasturlash tillari ekanligini ta'kidlaydi . U shuningdek, kompyuterning ishlashiga ta'sir qiluvchi matn va hatto grafik kiritish formatlari odatda Turing-to'liq bo'lmasa ham, dasturlash tillari ekanligini ta'kidlaydi va dasturlash tili tushunchalarini bilmaslik kirish formatidagi ko'plab kamchiliklarning sababi ekanligini ta'kidlaydi.

Dialektlar, didlar va amalga oshirish

Dasturlash tili yoki ma'lumotlar almashish tilining dialekti - bu tilning ichki tabiatini o'zgartirmaydigan (nisbatan kichik) o'zgarishi yoki kengayishi. Sxema va Forth kabi tillarda ishlab chiquvchilar standartlarni etarli emas, noto'g'ri yoki noqonuniy deb hisoblashlari mumkin, shuning uchun ular ko'pincha standartdan chetga chiqadi va yangi dialektlarni yaratadi. Boshqa hollarda, dialekt domenga xos tilda foydalanish uchun yaratiladi, ko'pincha uning kichik to'plami. Lisp dunyosida asosiy S-ifoda sintaksisi va Lisp-ga o'xshash semantikadan foydalanadigan tillarning aksariyati Lisp dialektlaridir, ammo ular Racket va Clojure kabi juda farq qiladi . Til odatda bir nechta dialektlarga ega bo'lganligi sababli, tajribasiz dasturchi uchun kerakli hujjatlarni topish juda qiyin bo'lishi mumkin. BASIC tili juda ko'p dialektlarga ega.

Xususiy tillar

Garchi eng ko'p ishlatiladigan dasturlash tillarining aksariyati to'liq ochiq spetsifikatsiyalar va ilovalarga ega bo'lsa-da, ko'pgina dasturlash tillari faqat xususiy dasturlash tillari sifatida mavjud bo'lib, amalga oshirish faqat bitta sotuvchida mavjud bo'lib, bunday mulkiy til ularning intellektual mulki ekanligini da'vo qilishi mumkin. Xususiy dasturlash tillari odatda domenga xos tillar yoki bitta mahsulot uchun ichki skript tillaridir ; ba'zi mulkiy tillar faqat sotuvchining ichida ishlatiladi, boshqalari esa tashqi foydalanuvchilar uchun mavjud.

Ba'zi dasturlash tillari xususiy va ochiq o'rtasidagi chegarada mavjud; masalan, Oracle korporatsiyasi Java dasturlash tilining ba'zi aspektlariga mulk huquqini tasdiqlaydi va tizimning aksariyat qismlarini ochiq amalga oshirishga ega bo'lgan Microsoft - ning C# dasturlash tili yopiq til sifatida Common Language Runtime (CLR) ham mavjud. muhit.

Ko'pgina mulkiy tillar o'zlarining mulkiy xususiyatiga qaramasdan keng qo'llaniladi; misollar MATLAB, VBScript va Wolfram tilini o'z ichiga oladi . Ba'zi tillar yopiq tildan ochiq tilga o'tishlari mumkin; masalan, Erlang dastlab Ericssonning ichki dasturlash tili edi.

Ochiq kodli dasturlash tillari, ayniqsa, ochiq fan ilovalari uchun foydali bo'lib, replikatsiya va kod almashish imkoniyatlarini oshiradi.