The tooling around static types is worlds better than any tooling around spec - it's not like working with a static typing system, unfortunately.