Kompyuter injiniringgi fakulteti

Funktsiyalar va ularning ma'nolari
Haskelldagi deyarli hamma narsa funksiya atrofida qurilgan. Dasturchining maqsadi uning tavsifini kompilyatorga tushunarli qilib yozishdir:
funksiyaga qanday parametrlar o‘tishi mumkin;
ular bilan qanday operatsiyalarni bajarish kerak;
natija qanday shaklda taqdim etilishi kerak;
Bu holda biz Haskelldagi funksiyalar ma'lumotlarni qayta ishlash qoidalari to'plami ekanligini ko'ramiz. Shunday qilib, agar siz ma'lum bir raqamning faktorialini topishingiz kerak bo'lsa, Xaskellda quyidagilarni yozishingiz kerak:

// faktorial - sonlarni 1 dan ma'lum bir raqamga ko'paytirish natijasi.

// masalan, 3 ning faktoriali 1 x 2 x 3 ga teng.

fac :: Integer -> Integer

fac 0 = 1

fac n | n > 0 = n * fakt (n - 1)

HTML
Izohlardan keyingi birinchi qator biz ma'lumotlar turlari (::) bilan ishlaydigan yangi funksiyani (fac) quyidagicha e'lon qilayotganimizni bildiradi: kirish butun son (Integer) va chiqish butun son (-> Integer).

Ikkinchi qatorda aytilishicha, agar siz 0 faktorialini hisoblashingiz kerak bo'lsa, siz 1 olasiz.

Eng qiyin, lekin ayni paytda qiziqarli - oxirgi qator. Matematik fikrga e'tibor bering: har qanday n (fac n) sonining faktoriali, bu erda n noldan katta (| n > 0), uni oldingi raqamning faktorialiga ko'paytirish natijasiga (n *) tengdir. (fac (n - 1)). Bu yerda biz Xaskellda qat'iy matematik ta'rifni yozdik va har qanday butun son uchun faktorialni topish usuli bilan funktsiyaning ko'rsatkichini berdik. 3.5 raqamining faktorialini chaqirishga harakat qilganingizda, tizim xato beradi, chunki 3.5 Integer turiga mos kelmaydi.
Haskell kodi - bu o'rtasida ma'lum munosabatlarni ta'minlash mumkin bo'lgan funktsiyalar va qoidalar to'plami. Barcha ma'lumotlarni qayta ishlash bunday sozlamalarga qat'iy muvofiq amalga oshiriladi, bu aniq natijaga erishishga yordam beradi. Ish har xil turdagi ma'lumotlar bilan amalga oshirilishi mumkin. Buning uchun ular Haskell tizimiga tushunarli bo'lishi uchun o'zgartirilishi kerak. Haskell tili o'zining xususiyatlariga ko'ra hisob-kitoblarning aniqligi va ishonchliligi talab qilinadigan sohalarda qo'llanilishi mumkin.