Cool--didn't know about it in Ocaml. Scala has it on the JVM, but I heard that under the covers it has to use reflection.

Supposedly the new invokedynamic will help avoid the reflection hack (overheard from Daniel Spiewak on twitter).

Haskell, too?