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.