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 u

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 http://mlton.org/Printf