If they were to choose another language, StandardML should have been the choice. It was designed to be easy for students to implement with relatively easy pars

If they were to choose another language, StandardML should have been the choice. It was designed to be easy for students to implement with relatively easy parsing rules. It is fully functional, but allows mutations. It also has an actually sound type system.