Math is for communication between mathematicians and programming languages are ultimately compromises for the purposes of precision and the limits of computers.<p>Trying to carry the precision necessary for implementation 
throughout all notation quickly obscures the math beyond comprehension.  Basically you&#x27;re importing all the complexity that arises in programming (leaky abstractions, implementation details, etc) into math for little benefit.<p>For the same reason we still speak in languages full of vagaries and ambiguities instead of constructed languages: For the most part, they get the job done, and when more precision is necessary we have alternatives (legalese, mathematical notation, PL&#x27;s).<p>For example, in the book &quot;Structure and Interpretation of Classical Mechanics,&quot; the authors choose more precise language (scheme code) to make common misconceptions of notation clearer.