Comment by CmonDev

A sufficiently high-level static-typed language is similar to Math. Are mathematicians 'just end-users' to someone? In your world of abstractions you are the god.