Why Programming Environments Need Dynamic Data Types

Data abstraction is a powerful source of program structure and abstraction. There is nothing about it, or the reasons why it works, which restricts it to static applications. Programming environments (PE´s) especially need to use data types dynamically, since it is their function to support the programmer in all phases of work with a program. Thus, the PE must proceed smoothly from definition to use to editing of a type.