Lambda links to a posting by Schemer Matthias Felleisen about the usefulness of formal semantics in building programming language systems. As an aside, The Types Forum looks like a great resource. It’s moderated by the author of what I’ve heard is an excellent new types book.