20 minutes ago, Matthias Felleisen wrote:
>
> In what sense did you screw up? Even in ML all you get is a warning
> that your cases aren't exhaustive -- and so you get a run-time
> exception. So what? Run-time exceptions are a part of the standard
> type soundness theorem. -- Matthias
Having these errors detected at compile time are a huge win in my
course.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
