Thoughts on programming, language, and maths