[racket] standard solution for non-terminating handin tests?

On Feb 11, 2012, at 1:35 PM, John Clements wrote:

> Slightly more seriously, if you're suggesting using the design recipe to help avoid non-termination, it doesn't help the students much when they're implementing an interpreter for a turing-complete language in a PL class.


We should teach abstract machines not interpreters. Non-termination is trivial then because you can ask them to equip the machine with fuel. And it's easier to see the compiler and its target machine. -- Matthias