Презентация Haskell тілінде тізімдер мен жолдарды өңдеу. Зертханалық жұмыс 5 онлайн

Содержание слайда: Зертханалық жұмыс №5 Haskell тілінде тізімдер мен жолдарды өңдеу

Содержание слайда:  ­есептеуді қолдану  ­есептеуді қолдану Программалаудың функционалдық парадигмасы -есептеуге негізделгендіктен, барлық функционалдық тілдердің -абстракцияны сипаттауға арналған қағиданы қолдайтыны заңды құбылыс. Haskell бұл аспектіні де айналып өткен жоқ, қандай да бір функцияны анықтауды, қажет болса -абстракция арқылы жүргізеді. Сонымен қатар -абстракция арқылы жасырын функцияларды да анықтауға болады (Мысалы, бірлік шақыру үшін). Төменде, -есептеулер көмегімен add және inc функцияларын анықтаудың мысалы келтірілген. Мысал 2.  ­ абстракциялар арқылы анықталған add және inc функциялары. add = \x y ­> x + y inc = \x ­> x + 1 Мысал 3. Жасырын функцияны шақыру. сubes = map (\x ­> x * x * x) [0 ..] Мысал 3 берліген параметрдің кубын есептейтінжасырын функцияны шақыруды көрсетіп тұр. Бұл инструкцияның орындалу нәтижесі, нөлден басталған бүтін сандар кубтарының шексіз тізімі болады. Ескертетін жағдай, Haskell’де  ­ өрнектерді жазудың қысқартылған тәсілі қолданылады, себебі тура қағида бойынша add функциясын келесі түрде жазған дұрысырық болар еді: add = \x ­> \y ­> x + y  ­абстракцияның типін анықтау, функцияның типін анықтағандай жүргізіледі.  x.expr түріндегі  ­өрнектің типі келесі түрде болады T1 → T2, мұндағы T1 - x айнымалысының типі, ал T2 —expr өрнегінің типі.  

Содержание слайда: Функцияны жазудың инфиксті тәсілі Функцияны жазудың инфиксті тәсілі Кейбір функциялар үшін жазудың инфиксті тәсілі қолданылуы мүмкін, ондай функциялар қарапайым бинарлық операциялар сияқты. Мысалы, тізімдерді конкатенациялау мен функцияларды композициялау операциялары анықталған: Мысал 4. Тізімдерді конкатенациялаудың инфиксті операциясы. (++) :: [a] ­> [a] ­> [a] [] ++ ys = ys (x:xs) ++ ys = x : (xs ++ ys) Мысал 5. Функцияны композициялаудың инфиксті операциясы. (.) :: (b ­> c) ­> (a ­> b) ­> (a ­> c) f . g = \x ­> f (g x) Haskell’-де инфиксті операциялар функция болып табылатындықтан, олар каррирленген, сондықтан мұндай функцияларды бөліктеп қолдану мүмкіндігін қамтамасыз еткен маңызды. Осы мақсатта, Haskell’де «секция» деп аталатын арнайы жазба қолданылады: (x ++) = \x ­> (x ++ y) (++ y) = \y ­> (x ++ y) (++) = \x y ­> (x ++ y)

Содержание слайда:

Содержание слайда: