Mathematica and the Wolfram Language have several features, which if used in combination could help students better engage with mathematics.
The first of these is the notebook structure of Mathematica that allows for textual discussion and sectional grouping. Students can not only calculate something or write a program but also discuss it and relate it to the larger world. Something that looks more like an essay or paper. They have actually produced a piece of work that can be shown to friends and parents and which might be referred to in the future - not just some number that is right or wrong and has a letter grade.
The second feature is that the Wolfram Language is much closer to mathematical thinking. especially with the functional programming constructs.
I'm just reading about Grace Hopper in Walter Isaacson's book The Innovators. She was much more highly educated than I had realized and more than worthy of walking in Ada Lovelace's footsteps. When she taught mathematics at Vassar she had the girls write essays on mathematical topics - such as Stirling's formula. When she worked for Howard Aiken she wrote what was probably the first comprehensive programming manual. It contained a history of computing machinery going back to Babbage. Each day she would read aloud to Aiken the pages she had written that day, simply to test the smoothness of the writing. When developing the COBOL language she didn't hesitate to use longer descriptive names, a practice that Stephen Wolfram has followed.
Mathematica notebooks can also be exchanged and developed in collaboration, another element that is missing in conventional mathematical education.
The combination of the Wolfram Language with literate notebooks could put a better face on mathematical education.