Type systems in several languages, including C#, TypeScript, and Haskell are discussed as we try to figure our what the ideal type system might be. Andy outlines the three stages of regular expressions.