cognitive psychology. PhD 
someone needs to write sicp/htdp but with types
Show this thread
-
Then check conditions first by examples (unit tests), e.g. for a given input x = 5, we can check x int > 0, and run function to get 6. But then say “what if we ‘ran’ the function without setting x? What could we know?"
Key idea being that you teach people static analysis operationally, so they can conceptualize it consistently with how they learn the dynamics. Essentially extending the idea of "notional machines" (https://dl.acm.org/citation.cfm?id=2483713 …) but to abstract interpretation.
