Полезность оптимизаций.
Есть такой закон Прёбстинга.
Он гласит, что оптимизации удваивают производительность компиляторов каждые 20 - двадцать, - лет. Годовой прирост производительности от оптимизаций составляет 4%.
Для того же Reduceron товарищи сделал суперкомпилирующий компилятор. И получили прирост в два раза. За три года от старта проекта Reduceron, а на самом деле ещё меньше.
В результате я теперь озабочен вопросом: а подчиняется ли GHC закону Прёбстинга? У меня ощущение, что нет, но торопиться доказывать это я ленюсь.
Он гласит, что оптимизации удваивают производительность компиляторов каждые 20 - двадцать, - лет. Годовой прирост производительности от оптимизаций составляет 4%.
Для того же Reduceron товарищи сделал суперкомпилирующий компилятор. И получили прирост в два раза. За три года от старта проекта Reduceron, а на самом деле ещё меньше.
В результате я теперь озабочен вопросом: а подчиняется ли GHC закону Прёбстинга? У меня ощущение, что нет, но торопиться доказывать это я ленюсь.