I also suspect this makes sense for an introductory FP class (FP, not static typing). The students have already already met the language, and they can compare f

I also suspect this makes sense for an introductory FP class (FP, not static typing). The students have already already met the language, and they can compare functional and imperative styles of solutions to the same problem. I think I’d go with python, and then have one or two lectures near the end showing a language dedicated to FP / static typing.