People obviously have different preferred ways to think, and this holds for programming just like for math or any other cognitive endeavour. Compilers, type sys

People obviously have different preferred ways to think, and this holds for programming just like for math or any other cognitive endeavour. Compilers, type systems, REPLs and so on are specifically designed to be thinking aids, and it seems to me that using them to their full extent to augment one’s cognition is a perfectly valid way to write code.