> I'd say that it's dynamic typing that has higher cognitive tax

Yes, that's exactly what I said.