[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

type inference in imperative langauges

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.