Earlier quoted context omitted.
I've always thought that every highschooler should be taught the basics of programming with an easy language like Python instead. That really is a superpower in a lot more contexts.
They are in the UK though. I feel like Python is a poor choice these days though. Typescript would make more sense.
Personally, I'd go to something like haskell or f# though, because of a even better type system IMO.
Altough, for learning it, typescript is probably easier and more applicable in the real world.