When was the last really transformational idea in programming languages?
davo11: type inferencing as used in haskell et al, that's a fairly recent development - early 90's/late 80's?Category theory is another perhaps - it's from the 40's but it's application to programming is new - 80's perhaps?