🗊Презентация Programming In Haskell. Определение функций

Условные выражения

Выражения охраны

Pattern Matching (Образцы)

Работа со списками

Лямбда-выражения

Для чего можно использовать?

Sections

Виды программ

Описание модуля -------------------------------------- -- шапка module Имя(определение1, определение2,..., определениеN) where import Модуль1(...) import Модуль2(...) ... --------------------------------------- -- определения определение1 определение2 ...

Декларативная и композиционная запись В Haskell существует несколько встроенных выражений, которые облегчают построение функций и делают код более наглядным. Их можно разделить на два вида: выражения, которые поддерживают декларативный стиль (declarative style) определения функций, и выражения которые поддерживают композиционный стиль (expression style). Что это за стили? В декларативном стиле определения функций больше похожи на математическую нотацию, словно это предложения языка. В композиционном стиле мы строим из маленьких выражений более сложные, применяем к этим выражениям другие выражения и строим ещё большие. В Haskell есть полноценная поддержка и того и другого стиля. Выбор стиля скорее дело вкуса, существуют приверженцы и того и другого стиля, поэтому разработчики Haskell не хотели никого ограничивать. where-выражения – декларативный стиль let-выражения –композиционный стиль Более подробно ru-Haskell-book-1.pdf стр. 59

square a b c = sqrt(p * pa * pb* pc) where p = (a + b + c) / 2 pa = p -a pb= p -b pc = p –c square a b c = let p = (a + b + c) / 2 in sqrt ((let pa = p -a in p * pa) * (let pb= p -b pc = p -c in pb* pc))

функции Скоро в армию! Функция определяет годность к армии , в зависимости от индекса массы тела. ИМТ =вес/ рост в квадрате Параметр - индекс массы тела bmi

функции Скоро в армию! Функция определяет годность к армии , в зависимости от индекса массы тела. ИМТ =вес/ рост в квадрате 2 параметра – вес, рост weight height

функции Скоро в армию! Функция определяет годность к армии , в зависимости от индекса массы тела. ИМТ =вес/ рост в квадрате 2 параметра, сам индекс считается в функции where bmi = weight / height ^ 2 

функции Скоро в армию! Функция определяет годность к армии , в зависимости от индекса массы тела. ИМТ =вес/ рост в квадрате

функции Скоро в армию! Функция определяет годность к армии , в зависимости от индекса массы тела. ИМТ =вес/ рост в квадрате

Скоро в армию! • Функция определяет годность к армии , в зависимости от индекса массы тела. • ИМТ =вес/рост в квадрате bmiTell :: (RealFloat a) =>a->a->String bmiTell weighth eight |bmi<=skinny=“must be getting fat!" |bmi<=normal=”it's all right" |bmi<=fat =”need to lose weight!!" |otherwise=”urgently needs to lose weight !!!" where bmi=weight/height^2 (skinny, normal, fat)=(18.5,25.0,30.0)

let <bindings> in <expression> cylinder::(RealFloat a )=> a -> a -> a сylinder r h= let sideArea=2*pi*r*h topArea=pi*r^2 in sideArea + 2 * topArea ghci>[let square x = x * x in (square 5, square 3, square 2)] [(25,9,4)] ghci>4 *(let a = 9 in a+1) + 2 42

Case expressions head‘ :: [a]->a head‘ [] =error "No head for empty lists!" head‘ (x:_) =x head' :: [a] -> a   head' xs = case xs of [] -> error "No head for empty lists!"                          (x:_) -> x   Case expression of pattern -> result pattern -> result pattern -> result

Примеры describeList::[a]->String describeList xs = "The list is” ++ case xs of [] ->"empty." [x]->"a singleton list." xs->"a longer list." describeList :: [a] -> String describeList xs ="The list is"++ what xs where what [] ="empty." what [x] ="a singleton list." what xs ="a longer list."

ДОПОЛНИТЕЛЬНО: Программная реализация

Общий вид определения функции

клоз

образцы

Образцы и клозы на примере last

Использование  исчислений

Инфиксный способ записи функций