What will happen if a language don't allow the free variable?

Question

In

lambda(x)(y)=x+1

x is bound variable,y is free variable,the value of y will determined by the context

can there be a language that