First, my apologies for not posting my first entry on the type system yesterday. I was completely wiped out after preparing and delivering this talk and then talking to all the interested people here at MIX. For those of you who aren't at MIX, you can see a video of John's and my talk.

Also, for those of you who want a more frequently updated blog from an expert on the DLR, be sure to read John's blog.