The effort of writing (typing) code is directly (at least) linearly proportional with the effort of reading said code (including the time when you're thinking i

The effort of writing (typing) code is directly (at least) linearly proportional with the effort of reading said code (including the time when you're thinking in your head before you typed it in). And by "effort", I'm strictly referring to the physical aspect of reading the text, disregard the comprehension part. As many advocates of static typing emphasize the importance of reading/ refactoring in large code base, this would be a huge factor as well.