John McCarthy's proposal for the language of the future

My favourite quote from his talk about 'Elephant 2000': "In 'Elephant' the programmer would write nothing about an array or database for storing reservations. Arrays of course would be necessary but the compiler would invent them."