WikiDer > Amaliy dasturlash tili

Applicative programming language

In dasturlash tillarining tasnifi, an amaliy dasturlash tili tashqaridan qurilgan funktsiyalari uchun qo'llaniladi dalillar. Amaliy tillar funktsional, va amaliy ko'pincha funktsional uchun sinonim sifatida ishlatiladi.[2] Biroq, birlashtiruvchi tillar amaliy bo'lishi mumkin, ammo amaliy emas.[3]

The semantik amaliy tillarning asoslari beta-versiyani kamaytirish atamalar va yon effektlar ning mutatsiyasi kabi davlat ruxsat berilmagan.[4]

Lisp va ML amaliy dasturlash tillari.

Shuningdek qarang

Adabiyotlar

  1. ^ McBride, Conor; Paterson, Ross (2008-01-01). "Effektlar bilan qo'llaniladigan dasturlash". Funktsional dasturlash jurnali. 18 (1): 1–13. CiteSeerX 10.1.1.114.1555. doi:10.1017 / S0956796807006326. ISSN 1469-7653.
  2. ^ Dershovits, Naxum; Plaisted, Devid A. (1985). "Amaliy dasturlash bilan mantiqiy dasturlash". Mantiqiy dasturlash bo'yicha simpozium. Boston, MA. 54-66 betlar. CiteSeerX 10.1.1.404.3826.
  3. ^ Jon Purdi (2012 yil 12-fevral). "Nima uchun kelishilgan dasturlash masalalari". Olingan 28 aprel 2020.
  4. ^ Backus, J. (1978). "Dasturlashni fon Neyman uslubidan ozod qilish mumkinmi?: Funktsional uslub va uning dasturlar algebrasi". ACM aloqalari. 21 (8): 613–641. doi:10.1145/359576.359579.