Types make no difference. Indeed, opinions and anecdotes abound on both sides of the dynamic–static crevasse. Carefully designed experiments and compelling data are difficult to come by, though. Folks on the dynamic side boast about immediate feedback loops and malleability of their programmes. Team static makes convincing arguments about soundness and making illegal states unrepresentable.
Can we have both, though? Let’s find out.
