Здравствуйте, Евгений Акиньшин, Вы писали:

ЕА>а как это сделать статически? например наша программа позволяет пользователю подключится к его данным и выполнить операции над его данными — например подсчитать sum(db.Oranges) + avеrage(db.Apples).
И что должно быть в этом случае?
ИМХО нужно говорить, что так делать нельзя.

ЕА>Типы известны только в момент подключения к источнику, причем источники могут быть разные с разными тиипами.
Те одно выражение пользователь засовывает в разные источники?
В любом случае типы можно проверить в момент подключения к источнику, а не во время исполнения запроса.