Flexible Typing in Object-Oriented Languages

David A Watt


In this talk I will introduce the concept of flexible typing, and explore its application in the context of a single-inheritance object-oriented language. Flexible typing enables a program to be partly statically typed and partly dynamically typed. This has important pragmatic benefits, for example it enables a single language to be suitable for both programming and scripting. I will show that flexible typing can be implemented in such a way that programs that make no use of dynamic typing pay no penalty in terms of run-time inefficiency or insecurity.
Tuesday 17th October 2006, 14:00
Robert Recorde Room
Department of Computer Science