C# while isn't as bloated as Java isn't a good choice because, like Java forces OOP on you and doesn't allow free functions.

C++ is ok. Students can use a very simple subset of C++, they don't have to use the more advanced parts of it.

C is even better.

Go is fine, too.

Typescript is a good enough choice.