Comment by systems

on the choice of language to teach the course why sml

i think there are a lot of nicer choice

   OCaml , its basically sml only more popular and used more in real life
   Haskell , again more popular , and used more in real life 
   Idris , newer and said to be more progressive 
   F# , a more practical choice and similar to sml 
   a lisp , well if you want to focus on the functional part and less on the types part