Без заголовка

Если под реальным использованием понимать исключительно промышленное использование — то тогда согласен. А если к этому добавить использование в университетах (для исследований, притом не только в областях языков программирования и систем типов) и „персональное” использование — то разница не такая уж и значительная. Но мода использования явно сильно отстаёт от моды обсуждать :-)