scala recursion functional-programming lambda-calculus y-combinator asked Nov 27 '18 at 2:31