Type Driven Development
Abstract: Everyone knows (should know?) what Test Driven Development is. In languages with sufficiently strong type systems such as Scala or Haskell we can do even better. We can make compiler do part of testing for us. We sometimes hear: “I cannot think of bugs that can be prevented by static type checking”.
I would like to show some Scala code examples which (hopefully) prove this statement is not correct – starting from basic ones, such as avoiding null pointers, and moving towards more complex ones – coming from libraries such as Scalaz and Shapeless.
Format: Talk (50 minutes)
Language: English
Maciek Próchniak
TouK, Poland
Maciek Próchniak is algebraic topologist, for more than 8 years developing on JVM for food and pleasure. This includes various subjects varying from architecture to operations and from integration to web development. Recently trying hard to code more functionally, preferably in Scala. Likes to speak at conferences from Bergen to Cairo on wide range of topics – from Scala type system to noSQL databases. For 5 years happy @ TouK, and even more happy husband and father.
Slides
Online version of slides may be found
here.
Video
