Funktsional Tillar

Funktsional Tillar


FP g'oyalari Lisp 1.5 loyihasida to'liq qo'llab-quvvatlandi, J. Rouling tomonidan amalga oshirildi. Makkarti va uning hamkasblari. Ushbu juda kuchli tilda nafaqat FPNING amaliyligi va samaradorligini ta'minlaydigan asosiy vositalar amalga oshirildi, balki birinchi marta kontseptual va uslubiy va konstruktiv jihatdan qimmatli, tushunish va tushunish amaliyotdan juda orqada qolgan bir qator hayratlanarli darajada aniq tuzilmalar sinovdan o'tkazildi.ilovalar. LISP 1.5 tilining kontseptual funktsional salohiyati asosan umumiy Lis p standartiga meros bo'libo'tgan.


FP tillari juda xilma-xildir. LISP-a va unga tegishli tillarning uch yuzdan ortiq lahjalari mavjud va faol qo'llaniladi:
Interlisp, muLisp, Clisp, Sbilanheme, ML, Cmucl, Logo, Hope, Sisal, Haskell, Miranda va boshqalar. .dasturlash tillari va paradigmalarini taqqoslashda funktsional tillar ko'pincha quyidagi mezonlarga ko'ra tasniflanadi: "dangasa" yoki amaliy, izchil va parallel. Masalan, ML applikativ va ketma – ket, Erlang applikativ va parallel, Haskell "dangasa" va ketma – ket, Clean esa parallel va "dangasa". Scheme, ML,
Umid, Haskell-lisp1 akademik standartining tipik vakillari,

• 
  Umumiy Lisp, Clisp, Sisal, Cmucl – lisp2 ishlab chiqarish standarti.
  
  • 
    . Net loyihasi turli xil dasturlash tillarini, shu jumladan Haskell, Sml, Scheme, Mondrian, Mercury, Perl, Oberon, Component Pascal dasturlarini amalga oshirdi, F# – yangi AF tili ishlab chiqildi. Dotgnu loyihasi ko'chma dasturiy ta'minotni ishlab, chiqishda ustuvorlikni himoya qilishga harakat qilib, yanada xilma-xillikni taklif etadi. O'quv va havaskor dasturlash yo'nalishlari rivojlanmoqda va dasturlash tillarini aniqlashda mavhum mashinalar ierarxiyasini qurish texnikasi uslubiy ravishda o'zlashtirilmoqda.
    

Funktsional dasturlash tillarini ishlab chiqish (IAFP) va FP vositalarining tezkor disk raskadrovka, tekshirish, ularning lakonizmi, moslashuvchanligi, konstruktivligi va modellashtirish kuchiga moslashishi FPNI algoritmlashtirishdan tortib to ijtimoiy kontekstga kiritishgacha bo'lgan barcha darajadagi zamonaviy dasturlashni o'qitishning axborot muhitining asosi sifatida ko'rib chiqishga imkon beradi.ishlab chiqilayotgan IP-dasturlarning.