[joncfoo]

Maybe a quick spell check would've caught the misspelling of prgrams or maybe more proof reading is the answer.

/s :D

Types are a tool just like auto spell checking. Why not leverage them to reduce cognitive load?

[taeric]

Amusing example, since my phone's autocorrect seems quite often to increase my cognitive load.