On Oct 4, 2012, at 8:33 AM, Matthias Felleisen wrote: > That wouldn't help much because none of the 2htdp/* libraries provide checked > signatures.
But if we had a good signature system for the teaching languages, we could easily add signatures to 2htdp/*, couldn't we? Seriously, I'd love to teach with some kind of signature system in the language (not just in comments), but right now we have three or four alternative systems (contracts, signatures, TR, and probably others), none of which has really had the pedagogical bugs worked out. Stephen Bloch [email protected] ____________________ Racket Users list: http://lists.racket-lang.org/users
