The first programming course at Oxford is FP. It makes some sense: (1) sometimes diving into something helps (especially with support from tutors) (2) it gives those with existing programming knowledge something new to work with and (3) functional programming concepts are generally helpful, so it’s still useful in other spheres.

Two that I can think of:

- Bootstrap teaches a toned-down version of Racket (i.e. Scheme): https://bootstrapworld.org/materials/spring2021/en-us/course... . It's taught in some schools as well as a comp sci curriculum.

- https://code.world/ teaches using a toned-down version of Haskell. To my knowledge it's not used in schools.

The Coursera course Programming Languages (Part A and B) by Dan Grossman teaches FP (and more) using SML and Racket. I enjoyed this course a lot. I would not recommend it for kids, but it should be great for students with some limited programming experience.

[1]: https://www.coursera.org/learn/programming-languages

[2]: https://www.coursera.org/learn/programming-languages-part-b

SICP focuses on Lisp/Scheme and it's one of the best programming books for beginners I can think of.