Хаскель относительно жирный выход даёт по умолчанию, но это причина не в компиляторе

Я в курсе

Причина как раз в языке

Неа и не в языке

Почему?

Потому что язык это средство описания действий, он крайне косвенно влияет на выхлоп, вон у дедфуда хаскель по выхлопу приближается к С

Вот бэкэнд может повлиять

Я видел бенчмарки, когда хаскель быстрее си в два раза)))

Всё зависит от того кто писал С)

А если уходить от голимого офтопа то вот пример: на расте под авр выхлоп в целом был на приемлемом уровне, особенно с оптимизацией

Особенно если сравнивать с тем что писал я в рамках ковыряния ассемблера (как программы) под него же

Постараюсь не забросить.

О боже, две инструкции вместо одной! Коллега, система команд интел это помойка, в которой не может разобраться нормально ни один компилятор, а люди многие годы уже не пишут на ассемблере. Поэтому железки и компиляторы разрабатываают совместно так, чтобы то, что компиляторы генерят, было быстрым, а то, что не генерят, то просто легаси и можно не оптимизировать под него железки. У вас, кстати, сами инструкции не выполняются -- они процессором транслируются в его скрытый код уровнем ниже, с оптимизациями. И доступа к этому уровню у вас вообще нет, так что прежде чем паниковать померяйте производительность, хотя бы в вакууме. Хотя это тоже непоказательно, у вас практически любая пара инструкций может выполниться   с задержкой в минуту на реальной системе (см. например виртуальную память и вытесняющую многозадачность, ну и кеши вносят вклад)

Можешь начать с https://stepik.org/course/73618/syllabus (сори за рекламу). Первый модуль игрушечный, для разогрева, поэтому если уже писал на С и видишь в изложении упрощения, это нормально.

Спасибо. Сегодня начну тренироваться

обычно люди хватают фраз на всяких форумах: ассемблер быстрей чем яву, и понеслось.. где быстрей в каких условиях для воинствующей стороны уже не важно)

tldr; оказалось что на время компиляции быстрей

Лисп быстрее фасма!

Я вот на своей лисп-машине бенчмарки замерял...