> This is really interesting. I wonder if there are some human language with properties that would allow for programming language constructs that we don't really use today.

Ooh, just thought of something interesting: I lived in Turkey for 4 months, and in Turkish, rather than using location to indicate which words modify each other, you use suffixes. (At least, as much as I could figure out in that time.) Then you can order your words for clarity and emphasis, rather than for meaning.

You could imagine doing the same thing with functions or expressions; rather than being stuck with "infix" operators, which need precedence and parentheses, or "prefix" operators forcing you to use RPN, you could order them the way you want.

So perhaps the following three expressions could all evaluate to the same thing ("a / b" in most C-based languages):

    /' a' b"
    /' b" a'
    b" /' a'
    a' /' b"
    a' b" /'

The idea would be that `/` is the verb, and `'` is the suffix indicating that its two "arguments" are `'` and `"`.

That sounds like an interesting concept to explore anyway.