Thanks for your input, C# is a language I never really considered but it does sound like a good middle ground and possibility a good successor to Python for her. Very popular, powerful and a better approach to a "true OOP" language than Java IMO. Though as you state modern Java has come a long way from its origins.

overusing global/shared variables

I see you've been reviewing my Python code, lol. The structure of the language does lend itself to using globals as a shortcut when they shouldn't be... And as a primary embedded dev I will admit that I'm already a heavier user of globals than most. But I agree being able to declare global variables inside a function is pretty gross, as is the scoping/declaration issue where you can easily end up with global and local variables with the same name without even throwing a warning.