TalkStandardML ============== == 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 {nbsp} + {nbsp} + Also see <:StandardML:Standard ML>. {nbsp} + {nbsp} + {nbsp} + ''' [cols="<,>"] |==== |<:Talk: Prev>|<:TalkMLtonApproach: Next> |====