Barry schrieb schon an einigen Stellen, welche Probleme sie mit Lambdas aktuell haben, z.B.
hier.
Naja, "aktuell" ist relativ. Das Post war von 2008
Aber es stimmt: Für vollständige Type Inference braucht man einen Multipass Compiler, und Delphi ist historisch nunmal ein Single-Pass Compiler (was nicht heisst, dass der Compiler zwangsläufig alles mehrfach durchgehen muss, aber an manchen Stellen ist das eben nötig).