It seems Guy Steele’s latest effort is on a programming language
Fortress focuses on the needs of programmers who work in mathematical
disciplines and disciplines such as physics and chemistry that rely
extensively on mathematics.
If the language works out that would be great. While C is a great tool
for programming efficient implementations of Math stuff. it certainly
isn’t a very pretty mapping.