Chris Lattner - The Case for Optional Typing (via searchlore.ai)