Can programming be liberated from function abstraction?

Functions are the reason why many nice features become hard or impossible to implement. Functions make type inference hard and they make it impossible to use tools that rely on manipulation with concrete values - because functions introduce names with unknown values and types.