[racket] Why not use a typed language for HtDP?

From: Ben Duan (yfefyf at gmail.com)
Date: Sat Aug 24 04:38:28 EDT 2013

Dear All,

Here’s a beginner's question about How to Design Programs.

HtDP puts great emphasizes on data, and it forces the reader to think about
data types by writing signatures. Then what not use a typed language so
that it is forced by the language itself? Or did I misunderstand the
purpose of the authors?

Thanks and regards,
Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130824/44930394/attachment.html>

Posted on the users mailing list.