cognitive psychology. PhD 
@wcrichton Have you come across: https://twitter.com/RolfRolles/status/968365884401160193 …? What do yo think of such discrete + finite games as a teaching tool for operational/denotational/abstract semantics?
-
Very cool! Not an abstract interpretation expert, so I found them useful. I also related to the commentary in the post -- "you need at least an undergraduate education in mathematics to understand abstract interpretation, no matter how hard I might try"
I grappled with this in the PL course. If a student only knows software engineering and 1st-year discrete math, can they still learn from PL theory? A key factor is the skill / concept ratio. How much can you do with a given set of concepts?
-
-
My criticism of the chess example is that there's a *huge* number of concepts. At the end, it's not clear what the reader should do with them. Most people don't want to memorize definitions. Tying concepts to tasks at each level will promote interest, retention, transfer, etc.
-
For PL, when I introduce a new concept like let-bindings, we look at: * How let-bindings are equivalent to function application * How lets compare to variables in other languages * Examples of both correct and incorrect semantics + how to use type safety to provably distinguish
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.