More Typing, Less Testing: TDD with Static Types

Hello All,

I found this blog posts about TDD and typing. The first is a introduction
and the second is an example using the same example in the book of Kent
Beck (Test Driven Development by Example).

The author claim that thinking int the types first leads to a better code
than the pure use of TDD as did by Kent in the book.

More Typing, Less Testing: TDD with Static Types, Part 1
http://spin.atomicobject.com/2014/12/09/typed-language-tdd-part1/

More Typing, Less Testing: TDD with Static Types, Part 2
http://spin.atomicobject.com/2014/12/10/typed-language-tdd-part2/

Any thoughts?

-- 
Abraços,
Josué
http://twitter.com/josuesantos