All other languages are either not compiled languages with static typechecking or have too few eligible users. C# would also be an option if it wasn't Windows-only.
Name:
Anonymous2012-04-29 1:12
Every possible instance of an object must have a unique encoding in binary, so there needs to be a one to one function f: X -> N, where X is the set of all possible instances of the object, and N is the natural numbers. Or you could define it to map to the set of all finite length bit strings.
But I don't hink this has much bearing on dynamic typing versus static typing. Sure everything running on what we use for computers must have some encoding in binary, but that does not have an impact on the objects themselves, aside from how much memory they consume or how much time it might take to process them and the information they contain. It can be useful to be able to prove that you will only be dealing with a certain type of object at a certain point in your program. That might not be enough, but it is a start at least.