Programming languages as human-designed method of managing abstraction