"no variable or argument declarations are necessary."

[Paul Rubin]

"Diez B. Roggisch" <deets at web.de> writes:
> > Erlang?
> 
> Guess what, worked with that, too :) And let me assure you - it does
> have pretty much runtime type error issues. It's interpreted.

Yes, it makes no attempt at being statically typed.  It's like Python
that way, AFAIK.

> Easy cases are easy... The thing is: I'm all for typechecking as long
> as it doesn't burden me. In FP it doesn't, as the expressional power is
> way better. But in JAVA, it does. And just doing wishful-thinking about
> that Python should do better that won't help... :)

How about Lisp?  It seems to do some good there, without getting in
the way.