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

programming-languages typing static-typing dynamic-typing
sub picture sub · Mar 31, 2010 · Viewed 9.6k times · Source

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 typing) that features dynamic and/or weak 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) not?

I think that a dynamically yet strong typed, compiled language would really sense, but is it possible?

Answer

Stephen picture Stephen · Mar 31, 2010

I believe Lisp fits that description.

http://en.wikipedia.org/wiki/Common_Lisp

Related questions

Strangest language feature

What is, in your opinion, the most surprising, weird, strange or really "WTF" language feature you have encountered? Please only one feature per answer.

Read More
What is the difference between statically typed and dynamically typed languages?

I hear a lot that new programming languages are dynamically typed but what does it actually mean when we say a language is dynamically typed vs. statically typed?

Read More
What languages are Windows, Mac OS X and Linux written in?

I was just wondering who knows what programming languages Windows, Mac OS X and Linux are made up from and what languages are used for each part of the OS (ie: Kernel, plug-in architecture, GUI components, etc). I assume that …

Read More