Is there a compiled* programming language with dynamic, maybe even weak typing?

Question

I wondered if there is a programming language which compiles to machine code/binary (not bytecode then executed by a VM, that\'s something completely different when considering

Answer 1

I don't know of any language that has exactly those capabilities. I can think of two that have a significant subset, though:

• D has type inference, garbage collection, and powerful metaprogramming facilities, yet compiles to efficient machine code. It does not have dynamic typing, however.
• C# can be compiled directly to machine code via the mono project. C# has a similar feature set to D, but again without dynamic typing.