Standard ML

• a high-level language makes

• a programmer's life easier

• a compiler writer's life harder

• perceived overheads of features discourage their use

• higher-order functions

• polymorphic datatypes

• separate modules

Also see Standard ML.