reckless intuitions of an epistemic hygienist (![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} gustavolacerda) wrote,@ 2008-05-19 13:32:00 |
|
typed SICM?
I'm a fan of Gerald Sussman's SICM, a Scheme-based course on classical mechanics which, by replacing obscure notation with computer programs, makes concepts clearer. I wonder if using a typed language would improve clarity further. Certainly, variables have units, which seem like natural candidates for specifying the types.
I'm a fan of Gerald Sussman's SICM, a Scheme-based course on classical mechanics which, by replacing obscure notation with computer programs, makes concepts clearer. I wonder if using a typed language would improve clarity further. Certainly, variables have units, which seem like natural candidates for specifying the types.
