Type Driven Development @ BoosterConf 2013
16
Type driven development Maciek Próchniak
-
Upload
maciek-prochniak -
Category
Software
-
view
58 -
download
0
description
Type Driven Development @ BoosterConf 2013
Transcript of Type Driven Development @ BoosterConf 2013
Type driven development
Maciek Próchniak
How to prevent bugs?
● Tests● Defensive programming● Tests● Contracts● Tests
Guerilla defensive programming
Typesafe stronghold
... strings and nulls shall not overcome
Value classes
Option[A]
Validation?... an applicative functor on a partially applied disjoint union type constructor with semigroup error elements so what's the big deal?!
- Tony Morris
Validation[A]
IO[A]
Typesafe database
Dependent types?
Sized[Iterable[A],N]
Ultimate challenge...
Ultimate code...
Value classes
Option
Dependent types
IOMonad
Validation
Slick macros
Scala Scalaz
Slick Shapeless