(no subject)
Oct. 11th, 2011 03:34 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
I know I never post, but this is far too beautiful not to link to, and you should read it.
http://worrydream.com/LadderOfAbstraction/
(I like it totally independent of the random dig at the practicality of type theory, near the end. But I did laugh.)
http://worrydream.com/LadderOfAbstraction/
(I like it totally independent of the random dig at the practicality of type theory, near the end. But I did laugh.)
no subject
Date: 2011-10-12 01:58 pm (UTC)... but I don't think it's great for this sort of task, playing with algorithms at different levels of abstraction -- making a program with Scratch is a pretty concrete exercise?
(kids, once they get into it, can make some pretty crazy stuff...)