Once again: checked signatures are available in ASL with German documentation.
When I know how to integrate them and what I am paying for them, I may change the teaching languages. On Oct 4, 2012, at 9:18 AM, Stephen Bloch wrote: > > 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
