I feel the same, too many people doing similar stuff in slightly different syntax, too few people looking at how things are similar and could be unified.

I think it's time to look beyond syntax in programming and untyped lambda calculus is the simplest choice (that is universal and can easily express new abstractions).

Mathematics suffers to some extent from a similar problem, but recent formalization efforts are really tackling it.