Здравствуйте, Кэр, Вы писали:

Кэр>С учетом того, что type provider решают задачу типизации нетипизированных данных, то это прямо удивительно, что они не решают проблему await/async. Хм...
Я не пытаюсь кого-то удивить.
Напомню ещё раз — вот вопрос:

Вполне возможно, что это решается через type providers о которых говорил Don Syme на PDC.
Это решение потенциально покрывает такой пласт проблем, что возникает большой вопрос — а зачем тогда нужны будут макросы.

Я отвечаю на этот вопрос. А не пытаюсь указать на какие-то недостатки в тайп провайдерах.

Кэр>А языки теперь разрабатывает только Микрософт? Макросы и кастомный синтаксис далеко не Немерле придумал. Концепт давний и имеют большую историю быть непопулярным. Предлагаю в качестве упражнения по критическому мышлению подумать почему.
Ну, как сказать. Некоторые макросы (к примеру те, которые в препроцессоре C/C++) популярнее, скажем, чем linq и dynamic вместе взятые.

Обсуждение проблемы совместимости синтаксисов я поскипал.