What do we need in programming languages for mathematical software? | lit.salon