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 ____________________ Racket Users list: http://lists.racket-lang.org/users
