cognitive psychology. PhD 
someone needs to write sicp/htdp but with types
Show this thread
-
3/3 tests then can be used to develop intuition for what contracts are wanted in the first place and when compile-time enforcement becomes too cumbersome
That makes sense. Seems most effective to teach it in the broader context of abstract interpretation. First you teach students how to formalize a problem into a function defn + pre/postconds, which is the first key skill (“x is an int”, “x > 0”, “f(x) = x + 1”), as in 15-122.
-
-
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.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.