Going along curiousdannii's idea of languages for human idea exchange, there's an old joke that Python can be used in place of pseudocode, because of its use of English keywords, relatively little punctuation, and ease of understanding.
Here is an example of Kadane's algorithm, expressed in Python (from Wikipedia):
max_ending_here = max_so_far = A
for x in A[1:]:
max_ending_here = max(x, max_ending_here + x)
max_so_far = max(max_so_far, max_ending_here)
aruslanovych asserts that languages have to convey emotion, metaphor, sensory impressions, etc. but I think this is a Romantic view. Is the Greek Linear B was used to write not a language since it was used for administrative record-keeping and probably tax purposes?
I take a liberal view in that yes, programming languages can represent metaphors, abstraction, and idioms, just maybe not in the sense we're used to. In fact, computers are excellent at abstract concepts and generalizing, with duck typing, object-oriented programming and reflection. Off-topic, I daresay with deep learning, computers can generalize even better than humans can. And, sci-fi speculation, when robots become just as intelligent as humans, we have to consider their languages as "real".