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. In this paper we
examine this form of polymorphism and contrast it with other traditional forms of polymorphism.