Давайте, например, поговорим про цену первого попавшегося механизма из ФП - автовывода типов.
ФП-шники тут же обычно поднимают гвалт - "нету никакой цены, всё то же самое..."
Потому что за своими кисельными реками берега уже разучились видеть

Так вот, если брать компилируемые реализации ФЯ, то автовывод типов - это всё равно, что превратить каждую обычную функцию в template. Т.к. потенциально множество типов, с которыми функция может работать, бесконечно и не зафиксировано жёстко в определении самой функции. Таким образом, ставьте сразу крест не только на динамическом расширении системы, но и даже на раздельной компиляции. Если Вас и Jack Of Shadows такая цена не пугает (ну не нужны вам эти возможности) - я за вас рад!Но конкретная цена механизма названа.