dynamic typing : Java Glossary

* 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z (all)

dynamic typing

Java is a statically typed language. In a dynamically typed language, typically:

Variables do not have type constraints on them. They are generic and can point to anything.
The identity of method calls, a.k.a. messages can be computed and manipulated at run-time and then an object (reference) plus this message value combined to make a call. Matt Kennel would call this dynamic messaging.
Note, this is not polymorphism in the standard OO (Object Oriented) sense. There, the identity of the specific subroutine is computed at runtime with a combination of the run-time-varying specific type, plus the statically known method call name.

Imagine this: in a dynamically typed language, you could pop off three stacks: object reference, message reference, arguments, mix them and call the result.
Occasionally (in some research languages) dynamic typing means the identity of 'which type is some object' is computed as a user-defined predicate upon its run-time varying data and is not an invariant of its creation. The object’s type may mutate, perhaps as it acquires additional fields.

standard footer
	This page is posted on the web at:	http://mindprod.com/jgloss/dynamictyping.html
	Optional Replicator mirror of mindprod.com on local hard disk J:	J:\mindprod\jgloss\dynamictyping.html
	Please read the feedback from other visitors, or send your own feedback about the site. Contact Roedy. Please feel free to link to this page without explicit permission.
	Canadian Mind Products IP:[65.110.21.43] Your face IP:[3.135.214.226]
Feedback	You are visitor number