SlideShare a Scribd company logo
Haskell
И н с т р у к ц и я п о
п р и г о т о в л е н и ю


                     « Д о к а з а т е л ь с т в о - э т о
                 п р о г р а м м а , а д о к а з ы в а е м а я
              ф о р м у л а - э т о т и п п р о г р а м м ы »
                                                     Х . К а р р и
Что такое
   функциональное
  программирование?

http://ru.wikipedia.org/wiki/
Функциональное_программирование
Haskell


Функциональный

С поддержкой отложенных вычислений

Типизация строгая, статическая
Где взять?



http://hackage.haskell.org/platform/
Hello world?


main = putStrLn "hello, world" 
Compile


ghc --make hello.hs
Haskell Console


      ghci
Алгебра
ghci> 2 + 15  
17  
ghci> 49 * 100  
4900  
ghci> 1892 - 1472  
420  
ghci> 5 / 2  
2.5  
ghci> 50 * 100 - 4999  
1  
ghci> 50 * (100 - 4999)  
-244950  
Логические операции
                      ghci> 5 == 5  
ghci> True && False   True  
False                 ghci> 1 == 0  
ghci> True && True    False  
True                  ghci> 5 /= 5  
ghci> False || True   False  
True                  ghci> 5 /= 4  
ghci> not False       False  
True                  ghci> "hello" == "hello"
                      True
Syntactic sugar
ghci> succ 8  
9
ghci> min 3.4 3.2  
3.2  
ghci> max 100 101  
101 
ghci> succ 9 + max 5 4 + 1  
16  
ghci> ( succ 9 ) + ( max 5 4 ) + 1  
16  
ghci> div 92 10
9
ghci> 92 `div` 10
9
Baby function
baby.hs
Baby function
baby.hs

doubleMe x = x + x  
Baby function
baby.hs

doubleMe x = x + x  



ghci> :l baby  
ghci> doubleMe 9
ghci> doubleMe 8.9
Try yourself


doubleUs x y = x*2 + y*2  
Try yourself


doubleUs x y = x*2 + y*2  




  Main> doubleUs 2 3
  Main> 2 `doubleUs` 3
Lists
ghci> 1 : []
ghci> 1 : 2 : []
Lists
ghci> 1 : []
ghci> 1 : 2 : []

Syntactic sugar ;)

ghci> let a = [1,2]
ghci> a
Lists
ghci> 1 : []
ghci> 1 : 2 : []

Syntactic sugar ;)       ghci> ['h','e','l','l','o']

ghci> let a = [1,2]
ghci> a
Lists

Lists are a homogenous structure!



        ghci> ['h',1,'3','b']
Lists

ghci> [1,2,3,2] !! 2
3
                            ghci> [1,2,3,2] ++ [2,3]
ghci> [2,4] : [[1,2,3,2]]   [1,2,3,2,2,3]
[[2,4],[1,2,3,2]]
                            ghci> [3,9,1] > [2,1,0]
ghci> 2 : [1,2,3,2]         True
[2,1,2,3,2]
Lists
Получение элементов списка




  ghci> let a = [3,2,5,7,9,1]
  ghci> head a
  ghci> tail a
  ghci> init a
  ghci> last a
Try it yourself
        length <list>
          null <list>
       reverse <list>
     take <int> <list>
    drop <int> <list>
     maximum <list>
     minimum <list>
         sum <list>
      product <list>
    <int> `elem` <list>
Ranges
ghci> [1..15]
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]

ghci> ['a'..'z']
"abcdefghijklmnopqrstuvwxyz"

ghci> ['K'..'Z']
"KLMNOPQRSTUVWXYZ"
Ranges

ghci> [2,4..20]

ghci> [3,6..20]

ghci> [0.1, 0.3 .. 1]
Слово о лени

       [13,26..]
Слово о лени

                    ghci> take 24 [13,26..]

[13,26,39,52,65,78,91,104,117,130,143,156,169,182,195,208,221,
                 234,247,260,273,286,299,312]


                 ghci> take 10 (cycle [1,2,3])
                 [1,2,3,1,2,3,1,2,3,1]
                 ghci> take 10 (repeat 5)
                 [5,5,5,5,5,5,5,5,5,5]
List comprehensions


    ghci> [x*2 | x <- [1..10]]
List comprehensions


     ghci> [x*2 | x <- [1..10]]

    [2,4,6,8,10,12,14,16,18,20]
List comprehensions


                    let chunkyBacon xs =
[ if odd x then "chunky" else "bacon" | x <- xs, x < 100, x /= 0 ]
Do it yourself
ghci> let adjectives = ["Maverick","Natty","Lucid","Oneiric"]
 ghci> let nouns = ["Lynx","Ocelot","Narwhal","Meerkat"]


["Maverick Meerkat","Natty Narwhal","Lucid Lynx","Oneiric
                        Ocelot"]




  Help functions:
  filter (> 0) <list>
Do it yourself
ghci> let full_list = [
 if (head adj) == (head noun)
 then adj ++ " " ++ noun
 else "" |
  adj <- adjectives, noun <- nouns]

ghci> filter (/= "") full_list

["Maverick Meerkat","Natty Narwhal","Lucid
Lynx","Oneiric Ocelot"
Tuples
     Отличия кортежей от списков




Кортежи могут быть неоднородны

Кортежи имеют чётко заданную длину

Кортежи разной длины имеют разные типы
Tuples

  Неоднородность


("hello", "bacon", 515)
Немного о типах
ghci> :t 'a'
'a' :: Char                        ghci> :t [1,2,2]
                                   [1,2,2] :: Num t => [t]
ghci> :t "hello"
"hello" :: [Char]                  ghci> :t 2.5
                                   2.5 :: Fractional a => a
ghci> :t 1
1 :: Num a => a                    ghci> :t fst
                                   fst :: (a, b) -> a
ghci> :t [1,2,2.5]
[1,2,2.5] :: Fractional t => [t]
Немного о типах
ghci> :t [1,2]
[1,2] :: Num t => [t]

ghci> :t [1,2,3]
[1,2,3] :: Num t => [t]

ghci> :t ("hello", "bacon")
("hello", "bacon") :: ([Char], [Char])

ghci> :t ("hello", "bacon", 515)
("hello", "bacon", 515) :: Num t => ([Char], [Char], t)
Lists of tuples

ghci> :t [(1,2),(8,11),(4,5)]
[(1,2),(8,11),(4,5)] :: (Num t1, Num t) => [(t, t1)]

ghci> :t [(1,2),(8,11,9),(4,5)]
Tuples functions
ghci> fst (1,"sad")
1

ghci> snd (1,"sad")
"sad"

ghci> zip [1..] ["one", "two", "three", "four", "five"]
[(1,"one"),(2,"two"),(3,"three"),(4,"four"),(5,"five")]
Last do it yourself
Last do it yourself

Найти все возможные прямоугольные
треугольники. (записать длины их сторон в
кортежи)

Максимально возможная длина стороны -
10
Last do it yourself
                              Решение:



let rightTriangles = [ (a,b,c) | c <- [1..10], b <- [1..c], a <- [1..b],
                         a^2 + b^2 == c^2]
Использованная литература

  http://learnyouahaskell.com

  http://tryhaskell.org

  http://zvon.org/other/haskell/Outputglobal/
  index.html
Семинар подготовил:
   Зонов Кирилл
   Блог: http://graffzon.tumblr.com/




                                       2012г.

More Related Content

Viewers also liked

2010 DFC Taiwan-Chi 045 環保
2010 DFC Taiwan-Chi 045 環保2010 DFC Taiwan-Chi 045 環保
2010 DFC Taiwan-Chi 045 環保dfctaiwan2010
 
Pertemuan 4
Pertemuan 4Pertemuan 4
Pertemuan 4
mutmainnamaruru
 
Office
OfficeOffice
Office
Qsrealm
 
Competencies and professional standards for health promotion capacity building
Competencies and professional standards for health promotion capacity buildingCompetencies and professional standards for health promotion capacity building
Competencies and professional standards for health promotion capacity buildingGiuseppe Fattori
 
Escena per escena
Escena per escenaEscena per escena
Escena per escena
silviaprofe56
 
Handouts English III Top 20 Part 1
Handouts English III Top 20 Part 1Handouts English III Top 20 Part 1
Handouts English III Top 20 Part 1
Greco Gervin Cruz
 
2010 DFC Taiwan-Chi 014 不滾妙筆
2010 DFC Taiwan-Chi 014 不滾妙筆2010 DFC Taiwan-Chi 014 不滾妙筆
2010 DFC Taiwan-Chi 014 不滾妙筆dfctaiwan2010
 
Сложение и вычитание 1
Сложение и вычитание 1Сложение и вычитание 1
Сложение и вычитание 1
МКОУ СОШ № 1 г. Сим
 
выбираем будущую профессию
выбираем будущую профессиювыбираем будущую профессию
выбираем будущую профессиюmaychik1995
 
Pertemuan 10
Pertemuan 10Pertemuan 10
Pertemuan 10
mutmainnamaruru
 
What is performance appraisal
What is performance appraisalWhat is performance appraisal
What is performance appraisal
crystalria
 
Звуки в окружающем мире и речи
Звуки в окружающем мире и речиЗвуки в окружающем мире и речи
Звуки в окружающем мире и речи
МКОУ СОШ № 1 г. Сим
 
Informatica administrativa
Informatica administrativaInformatica administrativa
Informatica administrativa
Victor Ahmed Jimenez Hernández
 
Windows XP concepts
Windows XP conceptsWindows XP concepts
Windows XP concepts
Qsrealm
 
Coconstruction
CoconstructionCoconstruction
Coconstruction
mrstotoro
 
Pertemuan 1
Pertemuan 1Pertemuan 1
Pertemuan 1
mutmainnamaruru
 

Viewers also liked (20)

2010 DFC Taiwan-Chi 045 環保
2010 DFC Taiwan-Chi 045 環保2010 DFC Taiwan-Chi 045 環保
2010 DFC Taiwan-Chi 045 環保
 
Days-The Crossmovie
Days-The CrossmovieDays-The Crossmovie
Days-The Crossmovie
 
Pertemuan 4
Pertemuan 4Pertemuan 4
Pertemuan 4
 
Office
OfficeOffice
Office
 
Competencies and professional standards for health promotion capacity building
Competencies and professional standards for health promotion capacity buildingCompetencies and professional standards for health promotion capacity building
Competencies and professional standards for health promotion capacity building
 
Escena per escena
Escena per escenaEscena per escena
Escena per escena
 
Κ. Π. ΚΑΒΑΦΗΣ
Κ. Π. ΚΑΒΑΦΗΣΚ. Π. ΚΑΒΑΦΗΣ
Κ. Π. ΚΑΒΑΦΗΣ
 
Handouts English III Top 20 Part 1
Handouts English III Top 20 Part 1Handouts English III Top 20 Part 1
Handouts English III Top 20 Part 1
 
Pertemuan 8
Pertemuan 8Pertemuan 8
Pertemuan 8
 
2010 DFC Taiwan-Chi 014 不滾妙筆
2010 DFC Taiwan-Chi 014 不滾妙筆2010 DFC Taiwan-Chi 014 不滾妙筆
2010 DFC Taiwan-Chi 014 不滾妙筆
 
Сложение и вычитание 1
Сложение и вычитание 1Сложение и вычитание 1
Сложение и вычитание 1
 
выбираем будущую профессию
выбираем будущую профессиювыбираем будущую профессию
выбираем будущую профессию
 
Pertemuan 10
Pertemuan 10Pertemuan 10
Pertemuan 10
 
What is performance appraisal
What is performance appraisalWhat is performance appraisal
What is performance appraisal
 
Звуки в окружающем мире и речи
Звуки в окружающем мире и речиЗвуки в окружающем мире и речи
Звуки в окружающем мире и речи
 
Informatica administrativa
Informatica administrativaInformatica administrativa
Informatica administrativa
 
Windows XP concepts
Windows XP conceptsWindows XP concepts
Windows XP concepts
 
Ujian tengah semester
Ujian tengah semesterUjian tengah semester
Ujian tengah semester
 
Coconstruction
CoconstructionCoconstruction
Coconstruction
 
Pertemuan 1
Pertemuan 1Pertemuan 1
Pertemuan 1
 

Similar to Haskell. Getting started (RU)

Функциональное программирование - Александр Алексеев
Функциональное программирование - Александр АлексеевФункциональное программирование - Александр Алексеев
Функциональное программирование - Александр Алексеев
Aleksander Alekseev
 
Jquery selector optimization in drupal
Jquery selector optimization in drupalJquery selector optimization in drupal
Jquery selector optimization in drupalYury Glushkov
 
Charming python sc2-8
Charming python sc2-8Charming python sc2-8
Charming python sc2-8
Vladislav Ananev
 
8 встреча — Язык программирования Python (В. Ананьев)
8 встреча — Язык программирования Python (В. Ананьев)8 встреча — Язык программирования Python (В. Ананьев)
8 встреча — Язык программирования Python (В. Ананьев)
Smolensk Computer Science Club
 
аппроксимация функции нескольких переменных
аппроксимация функции нескольких переменныхаппроксимация функции нескольких переменных
аппроксимация функции нескольких переменных
Dmitry Protopopov
 
Лекция о языке программирования Haskell
Лекция о языке программирования HaskellЛекция о языке программирования Haskell
Лекция о языке программирования Haskell
husniyarova
 
Haskell
HaskellHaskell
Haskell
DevDay
 
Haskell Lite - presentation for DevDay about Haskell language
Haskell Lite - presentation for DevDay about Haskell languageHaskell Lite - presentation for DevDay about Haskell language
Haskell Lite - presentation for DevDay about Haskell language
Alexander Granin
 
Мир Python функционалим с помощью библиотек
Мир Python  функционалим с помощью библиотекМир Python  функционалим с помощью библиотек
Мир Python функционалим с помощью библиотек
PyNSK
 

Similar to Haskell. Getting started (RU) (9)

Функциональное программирование - Александр Алексеев
Функциональное программирование - Александр АлексеевФункциональное программирование - Александр Алексеев
Функциональное программирование - Александр Алексеев
 
Jquery selector optimization in drupal
Jquery selector optimization in drupalJquery selector optimization in drupal
Jquery selector optimization in drupal
 
Charming python sc2-8
Charming python sc2-8Charming python sc2-8
Charming python sc2-8
 
8 встреча — Язык программирования Python (В. Ананьев)
8 встреча — Язык программирования Python (В. Ананьев)8 встреча — Язык программирования Python (В. Ананьев)
8 встреча — Язык программирования Python (В. Ананьев)
 
аппроксимация функции нескольких переменных
аппроксимация функции нескольких переменныхаппроксимация функции нескольких переменных
аппроксимация функции нескольких переменных
 
Лекция о языке программирования Haskell
Лекция о языке программирования HaskellЛекция о языке программирования Haskell
Лекция о языке программирования Haskell
 
Haskell
HaskellHaskell
Haskell
 
Haskell Lite - presentation for DevDay about Haskell language
Haskell Lite - presentation for DevDay about Haskell languageHaskell Lite - presentation for DevDay about Haskell language
Haskell Lite - presentation for DevDay about Haskell language
 
Мир Python функционалим с помощью библиотек
Мир Python  функционалим с помощью библиотекМир Python  функционалим с помощью библиотек
Мир Python функционалим с помощью библиотек
 

More from Kirill Zonov

AWS X-Ray introduction and my experience
AWS X-Ray introduction and my experienceAWS X-Ray introduction and my experience
AWS X-Ray introduction and my experience
Kirill Zonov
 
Kubernetes and Helm 101
Kubernetes and Helm 101Kubernetes and Helm 101
Kubernetes and Helm 101
Kirill Zonov
 
IBM Watson as tutor, not a voice interface
IBM Watson as tutor, not a voice interfaceIBM Watson as tutor, not a voice interface
IBM Watson as tutor, not a voice interface
Kirill Zonov
 
DevOpsDays Berlin 2018 Terraform hands-on workshop
DevOpsDays Berlin 2018 Terraform hands-on workshopDevOpsDays Berlin 2018 Terraform hands-on workshop
DevOpsDays Berlin 2018 Terraform hands-on workshop
Kirill Zonov
 
Go for Rubyists. August 2018. RUG-B Meetup
Go for Rubyists. August 2018. RUG-B MeetupGo for Rubyists. August 2018. RUG-B Meetup
Go for Rubyists. August 2018. RUG-B Meetup
Kirill Zonov
 
Ruby on Grapes. Why did we choose Grape and why I would choose it again
Ruby on Grapes. Why did we choose Grape and why I would choose it againRuby on Grapes. Why did we choose Grape and why I would choose it again
Ruby on Grapes. Why did we choose Grape and why I would choose it again
Kirill Zonov
 
Haml. New HTML? (RU)
Haml. New HTML? (RU)Haml. New HTML? (RU)
Haml. New HTML? (RU)
Kirill Zonov
 

More from Kirill Zonov (7)

AWS X-Ray introduction and my experience
AWS X-Ray introduction and my experienceAWS X-Ray introduction and my experience
AWS X-Ray introduction and my experience
 
Kubernetes and Helm 101
Kubernetes and Helm 101Kubernetes and Helm 101
Kubernetes and Helm 101
 
IBM Watson as tutor, not a voice interface
IBM Watson as tutor, not a voice interfaceIBM Watson as tutor, not a voice interface
IBM Watson as tutor, not a voice interface
 
DevOpsDays Berlin 2018 Terraform hands-on workshop
DevOpsDays Berlin 2018 Terraform hands-on workshopDevOpsDays Berlin 2018 Terraform hands-on workshop
DevOpsDays Berlin 2018 Terraform hands-on workshop
 
Go for Rubyists. August 2018. RUG-B Meetup
Go for Rubyists. August 2018. RUG-B MeetupGo for Rubyists. August 2018. RUG-B Meetup
Go for Rubyists. August 2018. RUG-B Meetup
 
Ruby on Grapes. Why did we choose Grape and why I would choose it again
Ruby on Grapes. Why did we choose Grape and why I would choose it againRuby on Grapes. Why did we choose Grape and why I would choose it again
Ruby on Grapes. Why did we choose Grape and why I would choose it again
 
Haml. New HTML? (RU)
Haml. New HTML? (RU)Haml. New HTML? (RU)
Haml. New HTML? (RU)
 

Haskell. Getting started (RU)

Editor's Notes

  1. \n
  2. \n
  3. \n
  4. \n
  5. \n
  6. \n
  7. \n
  8. \n
  9. \n
  10. \n
  11. \n
  12. \n
  13. \n
  14. \n
  15. \n
  16. \n
  17. \n
  18. \n
  19. \n
  20. \n
  21. \n
  22. \n
  23. \n
  24. \n
  25. \n
  26. \n
  27. \n
  28. \n
  29. \n
  30. \n
  31. \n
  32. \n
  33. \n
  34. \n
  35. \n
  36. \n
  37. \n
  38. \n
  39. \n
  40. \n
  41. \n
  42. \n