Functional Programming and Concise Code: Type Inference

Start of discussion of some of technology and culture that lead to more concise code in functional programming languages.  Type inference to avoid writing types for local and input variables.  Some basics of static and dynamic typing.