Comment by hiq

What do you mean by imperative ML? Using a language from the ML family, but mostly its imperative features? Can you expand on that?