Number of programmers that are in workforce that started before Standard ML (1983) is tiny and this argument would be relevant only to them.