Remember this scene, when they're playing this song, and... ?

It's been entirely too long since we've had a Hackers viewing.

Oh. Right. And this looks like a successful all-nighter. w00t :)

vegetarians and type inference systems?

From Spencer Rugaber's PLD class slides:

VEGETARIANS?
- What is the subtyping relation between vegetarians and humans?

- Even though vegetarians are a subset of all people, vegetarians cannot do everything that people can. In particular, they cannot eat meat.

- Hence, vegetarians are the superclass. Humans add the ability to eat meat.