Исправление devsdc, 18.01.15 12:18 (текущая версия) :
Я не спорю. Просто мне казалось, что стоит упомянуть, что зависимые типы — не первопричина сама по себе.
Исходная версия devsdc, 18.01.15 12:17:
Я не спорю.