TDD is Dead, Long Live TyDD

Transcript

1. TDD is Dead, Long Live TyDD Rahul Goma Phulore (@missingfaktor) 2014.09.06 Young Haskell Padawans, Pune
2. Title is a joke on the recent TDD debate
3. But seriously… We do actually believe that TDD is NOT a good idea
4. • Core tenets • Red, Green, Refactor • Never write any code unless it satisfies some test; write only as much required to get test passing Why do people TDD anyway?
5. • Benefits* of TDD, as per the practitioners • Use cases become clearer • Component interactions become clearer; helps in achieving loose coupling • Harness always available Why do people TDD anyway? * Perceived ;) ** Half kidding
6. Alternative? TyDD!
7. o_O
8. O_o
9. o_O
10. What the hell are these people talking about?
11. Don’t panic! Hold on to your towels*, and come for a ride. * The hitchhiker’s guide to the galaxy joke Take your towels*, and come for a ride
12. Haskell syntax (basics) x :: Int x = 0 add :: Int -> Int -> Int add a b = a + b add 2 3 apply :: a -> (a -> b) -> b apply v f = f v
13. TyDD (Type-driven development) • Aka • Type-directed programming • Denotational design (Peter Landin and Conal Eliott) • Types-first development (Tomas Petricek) • Algebra-driven development • Type-driven development (Don Stewart, during XMonad development)
14. The Haskell Way Algebra Types Functions
15. Functions • Not your grandma’s functions! • First-class functions • Higher order functions, combinators • Composition • Partial application • Seeing things as functions (bindings, patterns, state changes, instructions)
16. Types • Types categorize terms, based on their properties and the kind of operations they can support • Types encode invariants/knowledge about your program • Intuition: sets
17. Types are NOT classes! • Map<String, Integer> 
 Map<Integer, Char> 
 
 Different type but same class! • Animal a = new Cat();
 Animal b = new Dog();
 
 Same type but different class!
18. Well typed programs never go wrong! Dr Robin Milner
19. Edwin Brady
20. Ittay Dror
22. Make illegal states unrepresentable. Yaron Minsky
23. Let’s take an example… How many implementations are possible for this Java type? public static <A> A func(A value) { // TODO }
24. We could return the input value back. public static <A> A func(A value) { return value; }
25. We could return null. public static <A> A func(A value) { return null; }
26. We could throw an exception. public static <A> A func(A value) { throw new RuntimeException(“Good luck”); }
27. You could write to a file, and then return the value. public static <A> A func(A value) { FileUtilities.write(“stuff”); return value; }
28. You could log a message, and then return a value. public static <A> A func(A value) { logger.debug(“Strings suck.”); return value; }
29. You could change some state somewhere, and then return a value. public static <A> A func(A value) { counter = counter + 1; return value; }
30. You could even launch missiles, and Java type system won’t bat an eye! public static <A> A func(A value) { ; return value; }
31. Let’s see how Haskell fares here -- Type to satisfy func :: a -> a
32. You could return the input value func :: a -> a func x = x
33. And umm… that’s it!
34. Actually I am cheating a bit… func :: a -> a func x = error “Good luck” But let’s ignore this bit for now
35. In Haskell, all of those different things we did in Java will have different types
36. -- Returns value optionally func :: a -> Maybe a -- Could potentially fail func :: a -> Either e a -- Could write to a file func :: a -> IO a -- Could log a message func :: a -> Writer l a
37. -- Could change some state func :: a -> State s a -- Launch missiles! (Explicit) func :: a -> DangerOhMyGodNo a
38. Parametricity 㱺 Theorems for free!
39. Algebraic Data Types • Primary way of modelling data. • Sum and product types. • What makes them “algebraic”? We will talk about it some time later.
40. Examples data Option a = Some a | None data ProcessState e a = Succeeded a | Failed e | Ongoing data ColorChoice = Custom Color | Default
41. Examples data ParseResult a = ParseSuccess a | ParseFailure Error data Parser a = Parser (String -> ParseResult a)
42. Composition • Types encode properties precisely, thereby facilitating composition. • Help with iterative development like nothing else.
43. Example -- You had two functions as follows. -- Both in separate modules. foo :: X -> Y bar :: Y -> Z -- This is how they are composed in -- some part of the system. bar . foo
44. Example -- Requirements changed, and the two -- functions now return values -- optionally. foo :: X -> Maybe Y bar :: Y -> Maybe Z -- The following will now be a type -- error! bar . foo
45. Example -- We will fire up Hoogle (Google for -- Haskell) and search by wanted type. -- We start using the suggested -- function, and voila, everything -- type-checks! And has the correct -- semantics too. bar <=< foo
46. TyDD workflow • Meditate over your domain/system, and encode the knowledge into the type system. • Write key function types. • Come up with combinators and higher order functions. • Observe what properties your types fulfil, and see if you can benefit from standard computational abstractions.
47. Tooling
48. Tooling Hoogle
49. Tooling Hayoo
50. Tooling ghc-mod (Emacs)
51. Lighttable plugin
52. Djinn, pl, and more
53. What future holds
54. Benefits • TyDD makes you think about the problem, and pin it down precisely • It emphasizes and simplifies communication.
55. Benefits • Type system constantly ensures the constraints hold throughout. • Tests = There exists. (∃)
 Types = For all. (∀) • Better harness means 
 more confidence. More
 confidence means more
 peaceful sleep!
56. Benefits • When evolving software / incorporating change, type direction helps a lot. (As we just saw with an example. Except the impact is much larger in real codebases.)
57. Benefits • More principled, compositional, reusable, extensible abstractions. • There is a reason you don’t see abstractions like applicative or monad in wide use in languages with weaker type system or untyped languages.
58. Benefits • Easy discoverability. We have just seen what Hoogle (and the likes) are capable of! • Also:
59. But is any of this useful in my “real world”?
60. LINQ on .NET
61. Functional reactive programming
62. Reactive extensions, RxJava, Rx.js
63. Haxl from Facebook
64. Hakyll
65. Robotics
66. Even in our current project! (which is in Scala, another advanced typed functional language)
67. So are you saying Haskellers don’t write tests?
68. Nope.
69. • Tests are important. Not all invariants can be encoded into types. (Not in Haskell anyway.) • Most of us don’t like the “driven” or “first” part. We like tests for our software. • We believe types and algebras serve as much better design language, and test-first methodology doesn’t seem to reconcile well with that.
70. Testing in Haskell world • QuickCheck, property based (aka generative) testing • Has been applied to things such as concurrency too!
71. Testing in Haskell world • HUnit
72. Testing in Haskell world • Some even practice TDD in conjunction
73. However…
75. • There are languages with more advanced type systems than Haskell. • Dependent types • Extensible algebraic effects • Row polymorphism • Better invariants, better program direction. • According to some of them, types could make tests redundant.
76. Idris!
77. By the way…
78. • This style of development can also be used in untyped (aka, dynamically typed) languages. • Tomas Petricek: • Mattias Felleisen:
79. Where do we go from here? • Learn Haskell, try it on some project. • Try Scala or F#, easier to adopt for practical reasons.
80. Where do we go from here? • Keep an open mind. Keep learning. Read.
81. Where do we go from here? • Let’s meet up twice a month or so, and keep the momentum going. • Workshops planned for near future.
82. Thank You! Rahul Goma Phulore (@missingfaktor)