Even static typing very rarely gets in the way (it makes a few programs harder to express; but I find this relevant much less frequently than people think; and

Even static typing very rarely gets in the way (it makes a few programs harder to express; but I find this relevant much less frequently than people think; and even then I’d argue that expressing the types still adds value). What gets in the way, as the video argues, is excessive explicit typing. But languages can get around this with type inference.