Let's say that I'm a theoretical programmer hunting for a cross platform programming language, what are my options. This language must satisfy this list of requirements:
It must not require the user to install extra programs or runtimes (Clarification: I don't mind linking libraries etc. If I can package them with the application. The program must not require the user to install anything to be able to run my game. Basically I just want the user to be able to download my program and run it straight out of the box.)
Run on Mac, Windows and Linux
It must compile down to an executable, or the runtime be packaged with the executable (E.g. how Love2d allows Lua programmers to create executables, by embeding the runtime in the executable.) The larger size and slower speed is an issue though, so most people would avoid.
Free (as in beer)
Preferable but not entirely necessary:
Free (as in speech)
It can be used to program mobile apps (Android and iOS) as well.
Small executable sizes.
Mature and stable (as in syntax and the tools surrounding it)
So how about it? If a programmer wants to create a program that satisfies these parameters are C and C++ their only options? Java sort of satisfies these requirements but does require the runtime environment to be installed (Doesn't it?). Are there any languages out there that satisfy this niche? Not necessarily to the same maturity as C and C++ though.
*Edit: I disagree with this question being put on hold, I'm not asking which language I'm going to take up next, which is off topic and subjective. I'm specifically asking about languages that satisfy these requirements, which is not subjective. I'm also not creating a poll, I'm asking for specific pieces of technology that satisfy this list of requirements. The help center suggests leaving a comment here to get it re-opened, so would it be possible to re-open this question for discussion?