Haskell is Not For Production and Other Tales
•
19 gefällt mir•8,966 views
Some say it was written exclusively for Unix-bearded wizards with PhDs. Some say only 10x programmers and unicorns can decipher its many operators. Some say any coding problem it touches will be saved from callback hell and find everlasting peace. The Haskell programming language has long been the subject of myths and misconceptions. Nonetheless it has been adopted by a slew of companies big and small, including Facebook, which has a large Haskell deployment and dozens of engineers using the language. In this keynote, Katie will explore some of the pervasive stereotypes about the poster child of statically typed functional programming and compare and contrast them with her experiences working as a Haskell developer on the open-source Haxl project, which is used to fight spam at Facebook. As the former journalist investigates which stories stack up, she’ll share insights on what functional programming and Haskell have to offer, the challenges that come with their use, and where the ecosystem could be improved.
Empfohlen
Weitere ähnliche Inhalte
Was ist angesagt?
Was ist angesagt? (19)
Andere mochten auch
Andere mochten auch (19)
Ähnlich wie Haskell is Not For Production and Other Tales
Ähnlich wie Haskell is Not For Production and Other Tales (20)
Kürzlich hochgeladen
Kürzlich hochgeladen (20)
Haskell is Not For Production and Other Tales
- 1. Haskell is Not For Production and Other Tales by Katie Miller (@codemiller) Software Engineer at Facebook
- 3. So what do you code in?
- 5. Wait...what? You have Haskell in prod?
- 8. more than 1 million requests/second
- 9. Haskell is
- 14. Haxl
- 21. fpSpammer :: Haxl Bool fpSpammer = talkingAboutMonads .&& numFriends .> 100 .&& friendsLikePython where talkingAboutMonads = strContains "monad" <$> postContent friendsLikePython = do friends <-‐ getFriends pyFriends <-‐ filterM likesPython friends return (length pyFriends >= length friends `div` 2)
- 23. {-‐# LANGUAGE ApplicativeDo #-‐} friendsLikePython = do friends <-‐ getFriends pyFriends <-‐ filterM likesPython friends return (length pyFriends >= length friends `div` 2)
- 24. open source
- 30. Source: A History of Haskell: Being Lazy With Class
- 33. Haskell is used in industry
- 35. AT&T Barclays Facebook Google Microsoft New York Times Standard Chartered CircuitHub Fynder Hasura Helium Pusher Scrive Wagon
- 37. why Haskell
- 39. purity
- 41. userHasAssoc :: Int -‐> Int -‐> Haxl Bool userHasAssoc assoc target = ...
- 42. userHasAssoc :: Int -‐> Int -‐> Haxl Bool userHasAssoc assoc target = ... newtype Id = Id Int newtype AssocId = AssocId Int
- 43. userHasAssoc :: Int -‐> Int -‐> Haxl Bool userHasAssoc assoc target = ... newtype Id = Id Int newtype AssocId = AssocId Int userHasAssoc :: AssocId -‐> Id -‐> Haxl Bool userHasAssoc assoc target = ...
- 45. Haskell performs
- 47. Haskell is difficult to learn
- 48. Haskell is difficult to debug
- 49. Haskellers are difficult to hire
- 51. Haskell is difficult to learn
- 55. expectations
- 56. abstraction
- 58. "FP is simple. The core ideas are simple. Abstraction can be hard. It doesn't mean it's not worth learning." - John Hughes
- 62. vim
- 63. dozens learnt Haxl in three days
- 68. Haskell is difficult to debug
- 69. the cost of laziness
- 70. replayability
- 71. Haskellers are difficult to hire
- 76. elitism
- 78. no respect
- 79. why
- 80. jargon
- 83. documentation
- 84. community
- 87. bad Haskell code
- 88. blockAustralians :: Haxl SyncResponses blockAustralians = do textMap <-‐ textArr let text = HashMap.lookupDefault "" "main_text" textMap numBadWords = length $ filter (`Text.isInfixOf` text) aussieTerms numBadPhrases = length $ filter (`Text.isInfixOf` text) aussieSayings if numBadWords < 2 && numBadPhrases <= 0 then return noResponses else if numBadWords < 4 && numBadPhrases < 2 then return requireCaptcha else if numBadWords < 5 && numBadPhrases < 3 then return $ responses [warnUser, requireCaptcha] else if numBadWords < 7 && numBadPhrases < 4 then return warnUser else if numBadWords < 8 && numBadPhrases < 5 then return $ responses [warnUser, blockAccess] else if numBadWords < 10 && numBadPhrases < 6 then return blockAccess else if numBadWords < 13 && numBadPhrases < 7 then return $ responses [ blockAccess , enrollInFakeAccountCheckpoint ] else return $ responses [ blockAccess , enrollInFakeAccountCheckpoint , requireCaptcha ] where aussieTerms = [ "Acca Dacca" , "ambo" , "arvo" , "Aussie" , "bangaroo"
- 89. blockAustralians :: Haxl SyncResponses blockAustralians = do textMap <-‐ textArr let text = HashMap.lookupDefault "" "main_text" textMap numBadWords = length $ filter (`Text.isInfixOf` text) aussieTerms numBadPhrases = length $ filter (`Text.isInfixOf` text) aussieSayings if numBadWords < 2 && numBadPhrases <= 0 then return noResponses else if numBadWords < 4 && numBadPhrases < 2 then return requireCaptcha else if numBadWords < 5 && numBadPhrases < 3 then return $ responses [warnUser, requireCaptcha] else if numBadWords < 7 && numBadPhrases < 4 then return warnUser else if numBadWords < 8 && numBadPhrases < 5 then return $ responses [warnUser, blockAccess] else if numBadWords < 10 && numBadPhrases < 6 then return blockAccess else if numBadWords < 13 && numBadPhrases < 7 then return $ responses [ blockAccess , enrollInFakeAccountCheckpoint ] else return $ responses [ blockAccess , enrollInFakeAccountCheckpoint , requireCaptcha ] where aussieTerms = [ "Acca Dacca" , "ambo" , "arvo" , "Aussie" , "bangaroo"
- 90. Source: Twitter
- 92. half technology and half religion
- 94. Haskell is academic and practical
- 95. Haskell is different; that brings benefits and challenges
- 96. Haskell is a tool, not utopia
- 98. Haxl team past and present Katie Miller Bartosz Nitka Jon Purdy Aaron Roth Zejun Wu Noam Zilberstein š Louis Brandy Jonathan Coens Andrew Farmer Kubo Kovác Jake Lengyel Simon Marlow
- 99. Image credits Story Time (Elliot Margolies, CC BY-NC-ND 2.0)
- 100. References Ben Ford, Haskell at Fynder David Crystal, The Story of 100 English Words From Zero to HIPster (Haskell in Production) Haskell in Industry Hudak et al, A History of Haskell: Being Lazy With Class Paul Graham, Beating the Averages Philip Wadler, Propositions as Types Sarah Sharp, What Makes a Good Community? Simon Yang, My Journey into Haskell
- 101. More about Haxl Haxl on GitHub 'Fighting spam with Haskell' blog post 'There is no Fork' ICFP paper and presentation 'The Road to Running Haskell at Facebook Scale' presentation Wired article
- 103. Haskell is for production The End