Редактирование: Haskell, 05 лекция (от 26 октября)

Материал из eSyr's wiki.

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.

...

Состояния в программе:
# Неявное
# Монотонное
# Линейное
# Управляемое
# ...
# ..
# Reserved
# Reserved
# Many threads
И желательно не опускаться ниже уровня 2-3.

Интересные функц. языки с точки зрения леткора:
# Erlang/OTP
# ML, Caml, ocaml
# Haskell

== Синтаксис haskell ==

Списки имеют один тип. Три операции:
# : — конструктор
# head — голова
# tail — хвост
# [] — пустой список

Конструирование списков:
 1:[]
 a &rarr; [a] &rarr; [a]
 [1]

Списки можно опр. след. образом: [1,2,3], это явл. синт. сахаром и эквив. 1:2:3:[]

Если захочется напистаь generic-алгоритм по работе со списками на С++, понадобятся итераторы, в STL их 5 штук и в итге получается довольно кудрявый код.

=== Функции ===

<имя фукции> <arglist> = <body>
 add x y = x + y
 &lambda; x . &lambda; y . x + y

Тип функцииЖ
 add :: a &rarr; a &rarr; a &rarr; a

Каррирование:
 inc = add 1
более корректно с мат. точки зрения было бы inc x = add x 1, но в хаскелле можно и так.

Кроме этого, параметрами функции могут быть списки, при этом можно исп. такую особенность языка как pattern matching. В испреативном языке часто в реализации функций имеется ветвление на основе входных параметров. В хаскеле можно описывать неск. реализаций в зависимости от параметров, которые были переданы.

head :: [a] &rarr; a
 head [] = error "empty"
 head (x:t) = x

Функция error прерывает вып. программы с некотором error message. Если на вход пришли некорр. данныЕ, то если в С/С++ что-то омжно сделать, то что делать в прогр. на функц. языке делать не совсем понятно, поск. ждут корр. результата.

tail:
 tail :: [a] &rarr; [a]
 tail [] = error "empty"
 tail (x:t) = t

Если переменная в pattern matching не исп., то вместо неё можно исп. "_": head (x:_).

s :: [a] &rarr; [[a]]
 s [] = [[]]
 s l@(x:t) = l:s t

Как выглядит в haskell &lambda;-нотация.

\ x y &rarr; x + y
казалось бы, более корректной была бы
 \ x &rarr; \ y &rarr; x + y
но можно писать и так, и так.

Определение списков-диапазонов:
 [1..10]
 [1,3..11]
 [1..]

Пример использования &lambda;:
 map (\ x &rarr; x * x * x) [1..]
В рез-те получится список кубов нат. чисел.

Фильтры:
 l = [1,2,3,4]
 [x|x&larr;l, x<3]

Операция конкуатенации списков:
 [1,2] ++ [3,4]

Быстрая сортировка:
 q:[] = []
 q(x:t) = q [y|ylarr;t,y<x] ++ [x] ++ q [y|y&larr;t, y >= x]

=== Определение новых типов ===

Определение синонимов: есть стандартные типы Char, String, последний ялвяется списком, содержащим элементы первого  типа. Поэтому, string — синоним, опр. след. образом:
 typename String = [ char ]

data Bool = False | True

data Color a = Color a a a

x = Color 1 1 1
 Color Int

В том, что имя конструктора совпадает с именем типа, ничего страшного нет.

data Maybe a = Just a | Nothing

В этом случае рез-т будет иметь один и тот же тип и при этом можно

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Описание изменений:

Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Получено с http://esyr.org/wiki/Haskell%2C_05_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_26_%D0%BE%D0%BA%D1%82%D1%8F%D0%B1%D1%80%D1%8F%29

@@ Строка 1: / Строка 1: @@
-* '''Презентация:''' [[Media:ТФП -- Лекция 5.pdf]]
-* '''Аудиозапись:''' http://esyr.org/lections/audio/haskell_2010_winter/haskell_10_10_26.ogg
-* '''Видеозапись:''' http://esyr.org/video/haskell/haskell_10_10_26.raw.ogv
 ...

Редактирование: Haskell, 05 лекция (от 26 октября)

Материал из eSyr's wiki.

Просмотры

Личные инструменты

Навигация

инструменты

Разделы

Спецкурсы

9 семестр

7 семестр

5 семестр

3 семестр

Поиск

Инструменты