MLton

In Standard ML, there are syntactically two kinds of identifiers.

With the exception of =, reserved words can not be identifiers.

There are a number of different classes of identifiers, some of which have additional syntactic rules.