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
Top Related