Programming languages of the future