Friday, February 20, 2009 1:38 PM bart

Type Theory Essentials in Pictures – Part 1 – Hints

A few colleagues hinted kindly my post on Type Theory Essentials in Pictures – Part 1 – Quiz might be a little to subtle or non-obvious despite the verbal hints in the surrounding text. So I decided to give away the first couple of pictures (including titles that is) to set a bit more context.

Here’s the first one:

Slide1

Infer from this what the dotted “hollow” box means, versus a solid colored one. Then looking at the second picture, you should be able to make the connection between a non-dotted hollow box and a solid one again:

Slide2

Finally, let me give a hint about the faces: they are actors.

Answers will follow later, and then we’ll get into more serious concepts in parts 2 and 3. Happy puzzling!

Del.icio.us | Digg It | Technorati | Blinklist | Furl | reddit | DotNetKicks

Filed under:

Comments

# Dew Drop - Weekend Edition - February 21-22, 2009 | Alvin Ashcraft's Morning Dew

Pingback from  Dew Drop - Weekend Edition - February 21-22, 2009 | Alvin Ashcraft's Morning Dew