[PRL] Pac-Man's Ghost Behavior Analyzed and Fixed

Doug Orleans dougorleans at gmail.com
Sat Dec 4 01:46:29 EST 2010


On Sat, Dec 4, 2010 at 1:34 AM, Doug Orleans <dougorleans at gmail.com> wrote:
> I'm wondering if there's a moral in here for modern programmers (or
> programming language designers).  Like, what kind of type system would
> detect the type error in this code, assuming the programmer defined
> the types accurately?

A better way to ask this might be: what were the contracts and what
contract was violated?

--Doug



More information about the PRL mailing list