Domain-Learning with Computational Microworlds


I loved Papert's Mindstorms. Part of why it resonated is simply because I like using programming to learn stuff. Not everyone likes that, but I think it's still worth exploring how domain specific languages can guide self-directed learning.

It's worth mentioning that Sam Ritchie already outlined, like, a lot of this, in The Dynamic Notebook and his ongoing effort to port SICM there.

Changing Minds by Andrea DiSessa



Note: I'm neglecting tons of python stuff. Probably because I think type systems are useful for learning things :-)



Group theory

What would an algebraic environment look like? How would I encode and play with the circle group? The monster group?