Dynamic language

http://ro-che.info/ccc/images/typing.png

When do you ever need dynamism? When do you ever need monkey-patching, eval, heterogeneous collections, and shit like this?

>>20
OCaml:
let f x y = x + y in (* for the sake of example *)
f 1;;
- : int -> int = <fun>

Or equivalently:

(+) 1;; (* treat `+` as a function *)

Since everything has specific arity it is able to curry implicitly. Trivia: Haskell was named after the (re-)discoverer of this method, Haskell Curry.