Next-generation programming language that solves programmers' problems