Comment by 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?