[anko]

This is a really good comment, and I hadn't really thought of it in those terms. So it's insightful to me. It encapsulates a lot of things I hadn't really directly tried to answer before.

My previous answer is that good code makes it easy to discover intent.

But I think the semantics are important too - for example in scala we use monad transformers to treat futures (async code) much like lists. But the problem with this approach is it's not clear without inspecting the type signature if you're doing something that has a high algorithmic complexity eg. spawning threads or not.

I think the best language i've ever read for semantics is elixir.

But i think the lack of static typing makes it harder to code review, especially on github. Maybe Gleam is the answer?

What language do you like?