Использование чистых функциональных языков может иметь большие преимущества по сравнению с использованием нечистых императивов, но языки систем низкого уровня обычно позволят вам достичь гораздо большей производительности, особенно когда они необходимы, поскольку они позволяют указать точные шаги в том, как cpu должен вычислить результат.
Если всегда есть список инструментов, в которых высокая производительность является абсолютной, то я бы поставил VCS в верхнюю часть этого списка, а git справится с этим очень хорошо. Однако производительность не является git преимуществом только для многих других типов систем управления версиями.
Команда git очень хорошо обрабатывает небезопасный код c, и я никогда не беспокоюсь о своей системе типов (или о любых других функциях языка, на котором она написана), так почему же существует много haskell разработчики, которые должны использовать darcs, когда они будут использовать только готовый продукт?