Have something interesting to share with Java Eastern Europe community?
Become a speaker now

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

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.


Online version of slides may be found here.