[Cython] OT: programming Lisp for a living

[Stefan Behnel]

Hi,

Martin C. Martin wrote:
> 2. Lisp is the only dynamically typed language (that I know of) that 
> cares about efficiency.  It has optional static typing for efficiency, 
> so you can say "this sub-expression will be of type X, so at runtime 
> don't even bother looking at its type, just call the right method based 
> the the type I'm telling you."  It's about as fast as C/C++ if you avoid 
> a few poorly thought out parts of the language.

There are very efficient /implicitly/ typed languages, though. Think of ML,
for example. It has compile time type inference, so it's actually statically
typed, you just don't see it (and you don't care either).

Stefan