<div dir="ltr">I have these three versions of addition<div><br></div><div>addA x y = x + y<br>addB x = \y -> x + y<br>addC = \x -> \y -> x + y<br></div><div><br></div><div>and all three add two arguments just fine</div><div><br></div><div>> addA 2 3</div><div>5</div><div>> addB 2 3</div><div>5</div><div>> addC 2 3</div><div>5</div><div><br></div><div>but I can't see how addB and addC are actually accomplishing this. addA is currying, which I don't fully follow. addC I understand beta reduction-wise</div><div><br></div><div>(\x -> \y -> x + y) 2 3<br>(\y -> 2 + y) 3<br>(2 + 3)<br>5<br></div><div><br></div><div>but I don't understand addB and what steps are happening currying/beta reduction-wise. Can someone break down the steps with addA and addB?</div><div><br></div><div>LB</div><div><br></div><div><br></div></div>