Cognitive Architectures: A Way Forward for the Psychology of Programming

Michael Hansen presents the ACT-R cognitive architecture, a simulation framework for psychological models, showing how it could be used to measure the impact of various programming paradigms.


This describes an interesting attempt to formalize comparison of programming languages from point of view of cognitive psychology. There are also some some interesting references from the presentation.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Link to their main website


This is sort-of the reverse of why I've got into PLT. My main interest is in AI and inductive programming, and I've been teaching myself PLT as an approach to narrowing-down the search space (eg. via strong typing) and composing partial solutions in a sane way (eg. concatenative languages, monadic sequencing of pure computations, etc.).

I'm in the 'AI as a problem solver' camp, rather than the 'AI as a model of the human mind' camp, but it's always interesting to see crossovers like this.