functional programming - 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 don't allow the free variable?only allow like this:

lambda(x)(y)=x+y

and the value of x and y can be a immediate value,or result of other function

this design of language seems will work fine too...

can this design work well?Thanks!

Answer 1

等待大神答复