Functdesign sl

•Descargar como KEY, PDF•

0 recomendaciones•267 vistas

michaelfeathers

Entretenimiento y humor Tecnología

Using Haskell Type Signatures as a
Functional Design Notation
(just because)

Michael Feathers
Groupon

map :: (a -> b) -> [a] -> [b]
map (+2) [1,2,3]

region 7 9 “expertsexchange”
region :: Int -> Int -> String -> String

regionFrom7 9 “expertsexchange”
regionFrom7 :: Int -> Int -> String -> String

String -> [String] -> [[String]] -> [String] -> String

String -> [String] -> [[String]] -> [String] -> String

breakTextIntoWords

String -> [String] -> [[String]] -> [String] -> String

breakTextIntoWords
breakWordsIntoLines

String -> [String] -> [[String]] -> [String] -> String

breakTextIntoWords
breakWordsIntoLines

joinWordsInBrokenLines

String -> [String] -> [[String]] -> [String] -> String

breakTextIntoWords
breakWordsIntoLines

joinWordsInBrokenLines
joinBrokenLines

String -> [String] -> [[String]] -> [String] -> String

String -> [String] -> (Int -> [[String]]) -> [[String]] ->
[String] -> String

String -> [String] -> [[String]] -> [String] -> String

String -> [String] -> (Int -> [[String]]) -> [[String]] ->
[String] -> String

Abuse!

String -> [String] -> [[String]] -> [String] -> String

words

String -> [String] -> [[String]] -> [String] -> String

words
brokenLines

String -> [String] -> [[String]] -> [String] -> String

words
brokenLines
wordJoinedLines

String -> [String] -> [[String]] -> [String] -> String

words
brokenLines
wordJoinedLines
joinedLines

Favors combinator style
[String] -> Int
[String] -> [Int] -> [Int] -> [Int] -> Int
(repeated types in endomorphic chain)

Separate bins for your head and
your notation
String -> [String] -> (Int -> [[String]]) -> [[String]] ->
[String] -> String

Favors combinator style
Staying in the same shape is the easiest way to get from here to there

Más contenido relacionado

La actualidad más candente

Multiplying monomialMartinGeraldine

Elixir pattern matching and recursionBob Firestone

Data Structures OperationsNAVEEN SHARMA'S CLASSROOM

Addition and subtraction of polynomial functionsMartinGeraldine

Sol3Esteban Parra

Ejercicios combinadosCinty Fuchs

PyMCがあれば，ベイズ推定でもう泣いたりなんかしないToshihiro Kamishima

Good Ideas in Programming LanguagesDmitri Nesteruk

Sum and difference of two squaresMartinGeraldine

List comprehensionsJordi Gómez

Foil methodMartinGeraldine

Multiplying and-dividingfor webMs. Jones

Foil methodMartinGeraldine

The Ring programming language version 1.7 book - Part 26 of 196Mahmoud Samir Fayed

La actualidad más candente (14)

Multiplying monomial

Elixir pattern matching and recursion

Data Structures Operations

Addition and subtraction of polynomial functions

Sol3

Ejercicios combinados

PyMCがあれば，ベイズ推定でもう泣いたりなんかしない

Good Ideas in Programming Languages

Sum and difference of two squares

List comprehensions

Foil method

Multiplying and-dividingfor web

Foil method

The Ring programming language version 1.7 book - Part 26 of 196

Similar a Functdesign sl

Numbers obfuscation in Pythondelimitry

Lecture 10.pdfSakhilejasonMsibi

Grokking regexDavid Stockton

L13 string handling(string class)teach4uin

An overview of Python 2.7decoupled

A tour of PythonAleksandar Veselinovic

Numpy Talk at SIAMEnthought, Inc.

Python 101++: Let's Get Down to Business!Paige Bailey

جلسه سوم پایتون برای هکر های قانونی دوره مقدماتی پاییز ۹۲Mohammad Reza Kamalifard

An Introduction to Functional Programming using HaskellMichel Rijnders

Python String Revisited.pptxChandrapriya Jayabal

Arrays & Strings.pptxAnkurRajSingh2

Python stringsAswini Dharmaraj

Pythonlearn-08-Lists.pptxMihirDatir

Similar a Functdesign sl (14)

Numbers obfuscation in Python

Lecture 10.pdf

Grokking regex

L13 string handling(string class)

An overview of Python 2.7

A tour of Python

Numpy Talk at SIAM

Python 101++: Let's Get Down to Business!

جلسه سوم پایتون برای هکر های قانونی دوره مقدماتی پاییز ۹۲

An Introduction to Functional Programming using Haskell

Python String Revisited.pptx

Arrays & Strings.pptx

Python strings

Pythonlearn-08-Lists.pptx

Último

Book Paid Sonagachi Call Girls Kolkata 𖠋 8250192130 𖠋Low Budget Full Independ...noor ahmed

Model Call Girls In Pazhavanthangal WhatsApp Booking 7427069034 call girl ser... Shivani Pandey

Dakshineswar Call Girls ✔ 8005736733 ✔ Hot Model With Sexy Bhabi Ready For Se...aamir

Karnal Call Girls 8860008073 Dyal Singh Colony Call Girls Service in Karnal E...Apsara Of India

Call Girl Nagpur Roshni Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur High Profile

Call Girls Nashik Gayatri 7001305949 Independent Escort Service NashikCall Girls in Nagpur High Profile

Goa Call Girls 9316020077 Call Girls In Goa By Russian Call Girl in goarussian goa call girl and escorts service

CHEAP Call Girls in Malviya Nagar, (-DELHI )🔝 9953056974🔝(=)/CALL GIRLS SERVICE9953056974 Low Rate Call Girls In Saket, Delhi NCR

Verified Trusted Call Girls Tambaram Chennai ✔✔7427069034 Independent Chenna... Shivani Pandey

↑Top Model (Kolkata) Call Girls Rajpur ⟟ 8250192130 ⟟ High Class Call Girl In...noor ahmed

𓀤Call On 6297143586 𓀤 Ultadanga Call Girls In All Kolkata 24/7 Provide Call W...rahim quresi

Low Rate Young Call Girls in Surajpur Greater Noida ✔️☆9289244007✔️☆ Female E...SofiyaSharma5

Behala ( Call Girls ) Kolkata ✔ 6297143586 ✔ Hot Model With Sexy Bhabi Ready ...ritikasharma

Russian Escorts Agency In Goa 💚 9316020077 💚 Russian Call Girl Goasexy call girls service in goa

Call Girl Nashik Amaira 7001305949 Independent Escort Service NashikCall Girls in Nagpur High Profile

5* Hotels Call Girls In Goa {{07028418221}} Call Girls In North Goa Escort Se...Apsara Of India

Goa Call "Girls Service 9316020077 Call "Girls in Goasexy call girls service in goa

↑Top Model (Kolkata) Call Girls Behala ⟟ 8250192130 ⟟ High Class Call Girl In...noor ahmed

↑Top Model (Kolkata) Call Girls Salt Lake ⟟ 8250192130 ⟟ High Class Call Girl...noor ahmed

College Call Girls New Alipore - For 7001035870 Cheap & Best with original Ph...anamikaraghav4

Functdesign sl

1. Using Haskell Type Signatures as a Functional Design Notation Michael Feathers Groupon

2. Using Haskell Type Signatures as a Functional Design Notation (just because) Michael Feathers Groupon

4. a

5. [a]

6. map :: (a -> b) -> [a] -> [b]

7. map :: (a -> b) -> [a] -> [b] map (+2) [1,2,3]

8. region 7 9 “expertsexchange”

9. region 7 9 “expertsexchange” region :: Int -> Int -> String -> String

10. regionFrom7 9 “expertsexchange” regionFrom7 :: Int -> Int -> String -> String

11. Hoping

12. Line Break algorithm

13. String -> String

14. String -> [String] -> [[String]] -> [String] -> String

15. String -> [String] -> [[String]] -> [String] -> String breakTextIntoWords

16. String -> [String] -> [[String]] -> [String] -> String breakTextIntoWords breakWordsIntoLines

17. String -> [String] -> [[String]] -> [String] -> String breakTextIntoWords breakWordsIntoLines joinWordsInBrokenLines

18. String -> [String] -> [[String]] -> [String] -> String breakTextIntoWords breakWordsIntoLines joinWordsInBrokenLines joinBrokenLines

19. String -> [String] -> [[String]] -> [String] -> String

20. String -> [String] -> [[String]] -> [String] -> String String -> [String] -> (Int -> [[String]]) -> [[String]] -> [String] -> String

21. String -> [String] -> [[String]] -> [String] -> String String -> [String] -> (Int -> [[String]]) -> [[String]] -> [String] -> String

22. String -> [String] -> [[String]] -> [String] -> String String -> [String] -> (Int -> [[String]]) -> [[String]] -> [String] -> String Abuse!

23. A Design Device

24. (via Scott Ambler)

25. (via Scott Ambler)

26.

27.

28.

29.

30.

31.

32.

33. String -> [String] -> [[String]] -> [String] -> String words

34. String -> [String] -> [[String]] -> [String] -> String words

35. String -> [String] -> [[String]] -> [String] -> String words brokenLines

36. String -> [String] -> [[String]] -> [String] -> String words brokenLines wordJoinedLines

37. String -> [String] -> [[String]] -> [String] -> String words brokenLines wordJoinedLines joinedLines

38.

39.

40. Favors combinator style

41. Favors combinator style [String] -> Int

42. Favors combinator style [String] -> Int [String] -> [Int] -> [Int] -> [Int] -> Int (repeated types in endomorphic chain)

43. Affordances

44. Separate bins for your head and your notation String -> [String] -> (Int -> [[String]]) -> [[String]] -> [String] -> String

45. Concentrates on Data

46. Concentrates on Data ..in naming

47. Favors combinator style Staying in the same shape is the easiest way to get from here to there

48. Thank you

Functdesign sl

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (14)

Similar a Functdesign sl

Similar a Functdesign sl (14)

Último

Último (20)

Functdesign sl

Notas del editor