<div dir="ltr">Here is a function declaration<div><br></div><div>makeAddress :: Int -> String -> String -> (Int, String, String)<br>makeAddress number street town = (number,street,town)<br></div><div><br></div><div>and here is a lambda function version</div><div><br></div><div>makeAddressLambda =  (\number -> (\street -> (\town -> (number, street, town))))<br></div><div><br></div><div>How would this lambda version look in lambda calculus? Like this?</div><div><br></div><div>\number.\street.\town.(number street town)</div><div><br></div><div>then</div><div><br></div><div>(\number.\street.\town.(number street town) (123 "Sunny St." "Fergus")</div><div>(\street.\town.(123 street town) ("Sunny St." "Fergus")</div><div>(\town.(123 "Sunny St.") ("Fergus")</div><div>(123 "Sunny St." "Fergus")</div><div><br></div><div>Not always sure.</div><div><br></div><div>LB</div></div>