Standard ML is a very elegant language. It's one of the few languages that has a type system that actually makes sense.

For something truly mind bending, try understanding this implementation of printf in SML: http://mlton.org/Printf