Verhältnis von Theorie und Praxis

,,Nichts ist praktischer als eine gute Theorie.``

Beispiel: von C#-2.0 zu C#-3.0 http://msdn.microsoft.com/vcsharp/future/:

• LINQ (Language integrateg query, typsicheres eingebettetes SQL + XQuery)
• Lambda-Ausdrücke

http://en.wikipedia.org/wiki/Typed_lambda_calculus

• Lambda-Kalkül (Church, 1936)
• intuitionistische Logik (Brouwer, 1920)
• kartesisch abgeschlossene Kategorien (Eilenberg, Mac Lane, 1945)