MLton MLTONWIKIVERSION

ImperativeTypeVariable

Home Index

In Standard ML, an imperative type variable is a type variable whose second character is a digit, as in `'1a` or `'2b`. Imperative type variables were used as an alternative to the ValueRestriction in an earlier version of SML, but no longer play a role. They are treated exactly as other type variables.

Last edited on 2004-11-29 22:58:32 by StephenWeeks.