There's no language I'd want to teach (applied) math in more than Julia. Lean is obviously kind for anything involving a proof, but for teaching anything with linear algebra involved the syntax alone is enough of a reason to prefer Julia.
Optimization, specifically the kind that JuMP tackles, is another field where teaching is probably easier in Julia than any other language
I must’ve meant best* instead of kind oop
Since you've posted in HN about the state of Julia in 2024, I think you have the knowledge, and perhaps the desire, to provide information about what the improvement are in Julia with respect to problems expressed in the 2022 long discussion by Yuri Vishnevsky (1).
Anyway the problem I see is that other languages and tools are also improving, for example the author of this post (2) "I am reluctant to shift to Symbolics, as the calculus specifics (limits and integrals) aren't as competitive".
(1) https://discourse.julialang.org/t/discussion-on-why-i-no-lon...
(2) https://github.com/jverzani/CalculusWithJulia.jl/issues/50
Edited for grammar and spelling.