Demanding Programming Languages