Miles Egan wrote: > Are there any primarily imperative languages that provide ml-style type > inference? What's the difference? As you seem to know, ML is imperative, so it has no choice but to support imperative programming constructs. You can program just about as imperatively as you want in ML. Shriram