Noem vijf ontwikkelingen op het gebied van programmeertalen

• Ontwikkeling van krachtigere typesystemen, teneinde de uitdrukkingskracht van typesystemen te vergroten (bijv. GADT's in Haskell)
• Ontwikkeling van abstracte programmeerconcepten (bijv. Aspect-oriented programming, Adaptive object-oriented programming, Generic Haskell)
• Betere ondersteuning door programmeertalen voor parallel programmeren
• Toenemend gebruik van vertalergeneratoren (DSL's om vertalers mee te maken)
• Methodes en technieken om de correctheid van software vast te stellen (bijv. model checking, theorem proving, SAT solvers)

[C18.5]