At CMU, one of the first classes is, in fact, in SML.