What should we look for in programming languages used for teaching? https://m.cacm.acm.org/blogs/blog-cacm/203554-five-principles-for-programming-languages-for-learners/fulltext (and what are our goals? Excellent article.)
miniblog.
Related Posts
I've been playing with Obsidian and having a great time. It's fundamentally a .md editor but it has so many affordances that it feels different. Link autocompletion, highlighting backreferences, polished mobile app.
A lot of teaching resources focus on folder structure, oddly.
I regularly see the phrase "all Xs are Ys, but not all Ys are Xs" in teaching material. Even material for children!
I have to re-read it every time. I very much prefer "Y is a more general category than X" or "X is a subset of Y".
Do people find this phrasing helpful, or is it poor pedagogy?
Bril is a cute intermediate language for teaching (think simplified LLVM IR): https://www.cs.cornell.edu/~asampson/blog/bril.html
The idea of providing a standard JSON format to help students write basic passes is really elegant.