Test-driven development often doesn't take advantage of strong type systems. In this post I show how Kent Beck's Money example can be improved with types.
Test-driven development started with dynamic, object-oriented languages. Does TDD work with static types? Yes, but types should replace tests when possible.
It takes much more than technical skill to bring a complex project to fruition. But what does "leadership" really mean at a place with little hierarchy?