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

Python to C probably needs these criteria.

1. Write in Python.

2. Compile Python to Executable. See Process to convert simple Python script into Windows executable. Also see Writing code translator from Python to C?