I wondered if there is a programming language which compiles to machine code/binary that features dynamic and/or weak typing (not bytecode then executed by a VM, that’s something completely different when considering typing), e.g:
Think of a compiled language where:
- Variables don’t need to be declared
- Variables can be created during runtime
- Functions can return values of different types
Questions:
- Is there such a programming language?
- Why / Why not?
I think that a dynamically yet strong typed, compiled language would really sense, but is it possible?
I believe Lisp fits that description.
http://en.wikipedia.org/wiki/Common_Lisp