Invocation polymorphism

Visual programming by its nature is both more interactive and more conceptual than its textual counterpart. Both of these properties suggest an interactive style wherein the user “sketches” a general specification and the system “refines” this specification by using an intelligent analysis process to fill in the details where possible. A result of this visual interactive style of programming is that programming languages that support these general specifications allow for certain ambiguities that introduce yet another kind of polymorphism. We examine this form of polymorphism and contrast it with other traditional forms of polymorphism