The article is conflating tight-coupling with static-guarantees enforced by the type-system.