Recomendados
Recomendados
Más contenido relacionado
La actualidad más candente
La actualidad más candente (20)
Destacado
Destacado (17)
Similar a Haskell
Similar a Haskell (20)
Más de DevDay
Más de DevDay (20)
Haskell
- 2. О чем доклад? ● Часть 1. Ликбез по ФП и Haskell ○ Функциональное программирование ○ Язык Haskell. Применимость языка ○ Язык Haskell. Основы ○ Инструменты разработчика ● Часть 2. Haskell: We need to go deeper ○ Обработка данных: NgnTrafficParser ○ XML и Domain Specific Languages ○ Parsec, HaXml, GenXml ● Часть 3. Немного хардкора ○ Монады!!!
- 3. Программирование: ● Императивное ● Объектно-ориентированное ● Функциональное ● Логическое ● Декларативное
- 4. (println "Hello World!") printfn "Hello World!" io:format("Hello, World!~n"). putStrLn "Hello World!" println("Hello World!")
- 6. Функциональное программирование ● Все есть функция ● ... ● ... ● ... ● ... ● ...
- 7. Функциональное программирование ● Все есть функция ● Рекурсия ● ... ● ... ● ... ● ...
- 8. Функциональное программирование ● Все есть функция ● Рекурсия ● Функции высших порядков ● ... ● ... ● ...
- 9. Функциональное программирование a := 1 a := 2 DO NOT CHANGE! The immutability is with you ● Все есть функция ● Рекурсия ● Функции высших порядков ● Иммутабельность данных ● ... ● ...
- 10. Функциональное программирование ● Все есть функция ● Рекурсия ● Функции высших порядков ● Иммутабельность данных ● Чистые функции ● ...
- 11. Функциональное программирование ● Все есть функция ● Рекурсия ● Функции высших порядков ● Иммутабельность данных ● Чистые функции ● Нет побочных эффектов
- 12. Язык Haskell ?
- 13. Язык Haskell Haskell - это... ● Чистый функциональный, ● строго статически типизированный, ● кроссплатформенный, ● компилируемый язык ● общего назначения ● с ленивой семантикой ● и автоматическим выводом типов.
- 14. Краткая история Haskell ● В честь Хаскеля Карри ● GHC: Саймон Пейтон Джонс ● Семейство языков ML ● Прародитель - Miranda ● 1990 год - Haskell 1.0 ● 1998 год - Haskell '98 ● 2009 год - Haskell 2010 «Доказательство — это программа, а доказываемая формула — это тип программы» (c)MiranLipovača
- 15. Где Haskell плох: ● Системное программирование ● Real-time системы ● GUI
- 16. Где Haskell хорош: ● Надежность кода
- 17. ● Надежность кода ● Domain Specific Languages Abstract Syntax Tree Code base Где Haskell хорош:
- 18. ● Надежность кода ● Domain Specific Languages ● Безопасный параллелизм Где Haskell хорош:
- 19. ● Надежность кода ● Domain Specific Languages ● Безопасный параллелизм ● Обработка данных Телекомы: TrafficParser Где Haskell хорош:
- 20. ● Надежность кода ● Domain Specific Languages ● Безопасный параллелизм ● Обработка данных ● Парсинг Где Haskell хорош: Name Description Body Type XML DSL
- 21. Haskell - не мэйнстрим?..
- 22. Причины непопулярности ● Pascal, C, C++, Java, C# - в вузах ● Традиционное мировоззрение очень сильно ● Заработать на Haskell очень трудно ● Мифы и стереотипы "Избегать успеха любой ценой." Саймон Пейтон Джонс
- 24. fib n = case n of 0 -> 0 1 -> 1 n -> fib (n-1) + fib (n-2) fact n = case n of 0 -> 1 n -> fact (n-1) * n Функции. case - аналог switch Функции, аргументы - lowerCamelCase
- 25. fib 0 = 0 fib 1 = 1 fib n = fib (n-1) + fib (n-2) fact 0 = 1 fact n = fact (n-1) * n Сопоставление с образцом Функции, аргументы - lowerCamelCase
- 26. fib :: Word -> Word fib 0 = 0 fib 1 = 1 fib n = fib (n-1) + fib (n-2) fact :: Word -> Word fact 0 = 1 fact n = fact (n-1) * n Система типов Функции, аргументы - lowerCamelCase Типы, классы типов, модули - UpperCamelCase
- 27. fact :: Word -> Word replicate :: Int -> a -> [a] map :: (a -> b) -> [a] -> [b] (+) :: Int -> Int -> Int add :: Int -> Int -> Int Система типов
- 28. Списки. Кортежи phonebook :: [(String, String)] phonebook = [ ("Bob", "953 777-44-45") , ("Fred", "919 33-555-11") , ("Alice", "383 11111111") , ("Jane", "964 4000004") ]
- 29. Списки. Кортежи type PhoneBook = [(String, String)] validate :: PhoneBook -> PhoneBook validate book= map addPrefix book addPrefix :: (String, String) -> (String, String) addPrefix (name, phone) = (name, "+7 " ++ phone)
- 30. Лямбды - анонимные функции nums = [5, 4, 1, 3, 9, 8, 6, 7, 2, 0] oddNumbers = filter (n -> odd n) nums oddNumbers2 = filter odd nums // C#: int[] nums = { 5, 4, 1, 3, 9, 8, 6, 7, 2, 0 }; var oddNumbers = nums.Where(n => n % 2 == 1);
- 31. Генераторы списков (c) Miran Lipovača http://learnyouahaskell.com/
- 32. Cоздать список: 1. На множестве от 1 до 100. 2. Только нечетные. 3. Делящиеся на 3 без остатка. 4. Делящиеся на 7 без остатка. list1 = [21, 63] list2 = [x | x <- [1..100], odd x, x `mod` 3 == 0, x `mod` 7 == 0]
- 33. 1. x - от 1 до 100, y - от 100 до 200. 2. x - четные, y - нечетные. 3. x + y < 200. 4. |x - y| > 190. Cоздать список [(x, y)]: list = [(x, y) | x <- [1..100], even x, y <- [100..200], odd y, x + y < 200, abs (x - y) > 190]
- 34. Алгебраические типы данных data Bool = True | False Тип Конструкторы
- 35. Алгебраические типы данных data STree = Tip | Branch { leftBranch :: STree, value :: Int, rightBranch :: STree }
- 36. Сопоставление с образцом height :: STree -> Int height Tip = 0 height (Branch lt _ rt) = 1 + max (height lt) (height rt) 5 3 7 1 4
- 37. Data.Maybe - аналог Nullable phonebook :: [(String, String)] ... printPhone :: String -> [(String, String)] -> IO () printPhone name book = case lookup name book of Nothing -> putStrLn "Name not exist." Just phone -> putStrLn phone data Maybe a = Nothing | Just a lookup :: Eq a => a -> [(a, b)] -> Maybe b
- 39. Haskell Platform ● Компилятор GHC ● Интерпретатор GHCi ● Базовые библиотеки ● Пакетный менеджер Cabal ● Документирование - Haddock ● MinGW (Windows) http://www.haskell.org/platform/
- 40. Glasgow Haskell Compiler Компиляция: ghc --make FizzBuzz.hs ghc --make -O2 FizzBuzz.hs ghc --make -O2 -threaded FizzBuzz.hs Выполнение: runghc FizzBuzz.hs
- 41. REPL - GHCi (GHC interpreter) Read EvalPrint Loop
- 42. REPL - GHCi (GHC interpreter) > [1..10] [1, 2, 3, 4, 5, 6, 7, 8, 9, 10] > (3 + 30) 33 > fizzBuzz <interactive>:1:1: No instance for (Show (Int -> String)) arising from a use of 'print' Possible fix: add an instance declaration for (Show (Int -> String)) In a stmt of an interactive GHCi command: print it
- 43. Hackage - репозиторий библиотек
- 44. Библиотеки и программы ● xmonad - тайловый оконный менеджер ● Parsec - комбинаторные парсеры ● HaXmL, HXT - обработка XML ● darcs - система контроля версий ● Yesod - RESTful веб-фреймворк ● QuickCheck - тестирование кода ● House, Kinetic - операционные системы ● Всевозможные эффективные коллекции ● OpenGL, OpenAL, OpenCL биндинги ● ... несколько игр и многое другое
- 45. IDE
- 46. EclipseFP
- 47. Leksah
- 48. SublimeHaskell
- 49. Want more?
- 50. NGN Traffic Parser |R200|99999|333333|CR,CS,AM|1|1|3022|222222|333333|||... |R200|44455|012345|CR,CS,AM|1|1|3022|555555|111111|||... |R200|45678|543210|CR,CS,AM|1|1|3022|444444|555555|||... |R200|88888|222222|CR,CS,AM|1|1|3022|666666|777777|||... file1.txt file2.txt ......... Billing CMD, DTS, SQL
- 51. NGN Traffic Parser Billing Merge Files Process data MS SQL DTS
- 52. АТД: Predicate data Predicate = NotInList [ByteString] | InList [ByteString] | Like [ByteString] | LengthLess Int type PredicateMap = [(FieldIndex, Predicate)] predicates = [ (7, NotInList (map C.pack ["3022", "3012"])) , (8, Like [C.pack "44", C.pack "45"]) , (9, LengthLess 7) ]
- 53. NGN Traffic Parser checkPredicate :: Predicate -> C.ByteString -> Bool checkPredicate (NotInList l) str = (not . elem str) l checkPredicate (InList l) str = elem str l checkPredicate (LengthLess n) str = (length str) < n Алгебраический тип данных, Сопоставление с образцом replaceSymbols :: String -> String replaceSymbols s = map (replaceChar '|' ' ') ((map (replaceChar ' ' '*') (refieldDoubles s))) Ver. 2.0 ByteString Ver. 1.0 String
- 54. XML и Domain Specific Languages
- 55. <?xml version="1.0" encoding="utf-8" ?> - <PolicySet xmlns="urn:oasis:names:tc:xacml:3.0:core:schema:wd- PolicySetId="PolicSet-04b0613533354df196715b032388325c" Vers PolicyCombiningAlgId="urn:oasis:names:tc:xacml:1.0:policy-combin permit-overrides"> <Description>All active policices</Description> <Target /> - <Policy PolicyId="a25099f1-d6fd-412e-b827-65fd39f799e1" Versio <Description>Match file(s) content</Description> <Target /> Политики безопасности XML
- 56. Тестирование политики Алгоритмы тестирования: Безопасность обеспечена? Нет Исправляем дыры Да ОК, запускаем!! Policy.xml
- 57. Policy.xml XML?!. Сложно! Хочу DSL! Алгоритмы тестирования: Безопасность обеспечена? Нет Исправляем дыры Да ОК, запускаем!! MyPolicy.dsl
- 58. Пример DSL efm := ExactFileMatching 2 ".test2.db" 0 cat2 : "CAT2" = Category [] NoMatch cat1 := Category [cat2] NoMatch cat3 := Category [] NoMatch cat0 := TopCategory [cat1, cat3] NoMatch rule := Rule Permit [] | n_of 1 (Evaluate [efm]) [cat0] policy := Policy DenyOverrides [Audit Deny Medium] [rule] policySet := PolicySet PermitOverrides [] [policy]
- 59. Архитектура DSL <-> XML Policy.xml Policy.dsl Policy AST HaXmlGenXml Custom writerParsec DSL AST Translator
- 60. DSL: AST на ADT data DslTokenName = DslTokenName String data DslTokenBody = DslGuardedBody { dtbDslAdt :: DslAdt , dtbDslExpression :: DslExpression } | DslNonGuardedBody { dtbDslAdt :: DslAdt } data DslToken = EmptyDslToken | DslToken { dtDslTokenType :: DslTokenType , dtDslTokenName :: DslTokenName , dtDslTokenDescr :: DslTokenDescription , dtDslTokenBody :: DslTokenBody }
- 61. Parsec: парсинг DSL dslToken :: GenParser Char st DslToken dslToken = do tName <- dslTokenName tDescr <- dslTokenDescription (tBody, tType) <- dslTokenBody return (DslToken tType tName tDescr tBody) dslTokenBody :: GenParser Char st (DslTokenBody, DslTokenType) dslTokenBody = spaces >> ( try dslGuardedTokenBody <|> try dslNonGuardedTokenBody <?> "dslTokenBody") NonGuardedBody GuardedBody Name Description Body Type DslToken DslTokenBody
- 62. Связь с БНФ lower ::= 'a' | 'b' | ... | 'z' rest ::= (letters | numbers | '_') + rest | '' identifier ::= (lower | '_') + rest tokenName ::= identifier tokenBody ::= guardedBody | nonGuardedBody token ::= (tokenType, tokenName, tokenDescr, tokenBody) identifier :: GenParser Char st String identifier = do c <- (lower <|> char '_') rest <- many (alphaNum <|> char '_') return (c : rest)
- 63. HaXml: парсинг XML toCondition :: Content i -> Maybe Condition toCondition e = let exprCond = head . filterNonTextContent $ children e expr = fromJust $ recognizeStructure expRecognizers exprCond in Just (Condition expr) -- ............ Здесь много кода parsePolicy :: String -> PolicySet parsePolicy content = let (Document _ _ root _) = xmlParse "error.log" content in toPolicySet (CElem root noPos)
- 64. GenXml: генерация XML writeDteValue :: DataTypeExt -> Xml Elem writeDteValue (DteString s) = xtext s writeDteValue (DteBoolean b) = xtext (map toLower (show b)) writeDteValue (DteInteger i) = xtext (show i) writeAttributeValue :: AttributeValue -> Xml Elem writeAttributeValue (AttributeValue dataType val) = let attrValAttributes = xattr dataTypeN dataType attrValVals = writeDteValue val in xelem attributeValueN (attrValAttributes <#> attrValVals)
- 65. А теперь - хардкор!!!
- 66. lookup :: Eq a => a -> [(a, b)] -> Maybe b class Eq a where (==), (/=) :: a -> a -> Bool instance Eq Char where c1 == c2 = ... -- compare chars c1 /= c2 = not (c1 == c2) instance Eq Int where i1 == i2 = ... -- compare ints i1 /= i2 = not (i1 == i2) Классы типов - "интерфейсы" на стероидах
- 67. data Predicate = NotInList [ByteString] | InList [ByteString] | Like [ByteString] | LengthLess Int deriving (Eq, Show, Read) Классы типов - "интерфейсы" на стероидах
- 69. let rndGen1 = mkStdGen 100 let (val1, rndGen2) = random rndGen1 let (val2, rndGen3) = random rndGen2 Отправной пример: Random generator
- 70. Стратегия связывания, IO getName :: IO () getName = do putStrLn "What is your name?" yourName <- getLine putStr "Hello, " putStrLn (yourName ++ "!") let world0 = getWorld let (val1, world1) = ioAction1 world0 let (val2, world2) = ioAction2 world1
- 71. do-нотация getName :: IO () getName = do putStrLn "What is your name?" yourName <- getLine putStr "Hello, " putStrLn (yourName ++ "!") getName' = putStrLn "What is your name?" >> getLine >>= yourName -> putStr "Hello, " >> putStrLn (yourName ++ "!")
- 72. Возвращаемое значение getName :: IO String getName = do putStrLn "What is your name?" yourName <- getLine putStr "Hello, " putStrLn (yourName ++ "!") return yourName return :: a -> m a a :: String m :: IO
- 73. Монада State newtype State s a = State { runState :: s -> (a, s) }
- 74. Монада State myFunc :: State Int Int myFunc = do val <- get put (val - 8) get getNumber = evalState myFunc 50 main = print getNumber
- 75. Стратегия связывания, State let state1 = evalState 50 let (val1, state2) = get state1 let ((), state3) = put (val1 - 8) state2 let (val2, state4) = get state3
- 76. Monad transformers? Зачем это надо? Монада 2Монада 1
- 77. Monad transformers? Зачем это надо? Монада 2 Монада 1
- 78. State + IO data GS = GS { worldMap :: [Location] , currentLocation :: Location , welded :: Bool , bucketFull :: Bool } deriving (Show) newtype GameState a = GameState { runGameState :: StateT GS IO a }
- 79. State + IO run :: GameState Result run = do t <- get -- read a command from the user io . putStr $ "> " io . hFlush $ stdout line <- io getLine result <- case parseCommand line of Nothing -> write "Invalid command!" >> continue Just cmd -> do ...........
- 80. Named + IO -- Int-named IO calculations: intNamedFunc :: NamedT Int IO Int intNamedFunc = do name <- getName return name testIntNamed :: IO () testIntNamed = do name <- evalNamedT intNamedFunc 1 print name -- You got output: 1
- 81. Спасибо за внимание! Haskell Александр Гранин graninas@gmail.com
- 83. FUNction It's all Haskell is about
- 85. Lambda Lifter
- 88. Haskell Platform ● Компилятор GHC ● Интерпретатор GHCi ● Базовые библиотеки ● Пакетный менеджер Cabal ● Документирование - Haddock ● MinGW (Windows) http://www.haskell.org/platform/
- 91. Класс типов Monad class Monad m where (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b return :: a -> m a
- 92. Монада Named - именованные вычисления data Named n a = Named { runNamed :: (n -> a) } instance Monad (Named n) where return x = Named (_ -> x) x >>= f = Named (name -> let a = runNamed x name in runNamed (f a) name)