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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sat Feb 11 13:43:26 EST 2012

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

Posted on the users mailing list.