Discuss the relative merits of typed formalisms and untyped formalisms. What flavors of polymorphism can you think of? Explain how the various flavors are related to programming language constructs. Discuss how inheritance may be understood as an incremental modification mechanism.