Statically typed code definitely requires more effort to read, but this is not cognitive load. Cognitive load is about how much working memory is required. Stat

Statically typed code definitely requires more effort to read, but this is not cognitive load. Cognitive load is about how much working memory is required. Statically typed code requires less cognitive load because some of the remembering is outsourced to the source code. Statically typed code can lead to more complicated code; it can also accurately reflect the complexity inherent in the problem.