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

[Doug Orleans]

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