1. A method to test a software program, comprising: creating an import definition of a static type, associated with the software program, in a language that uses a dynamic type; providing a reference to the static type via the import definition; receiving a textual input that is pre-linked to the import definition; and executing the software program using a created dynamic type to invoke the static type based on the reference and testing the static type.