Actually in some FP languages like Haskell those two might be literally the same thing. When the compiler sees the second, it does the first (obviously over si

Actually in some FP languages like Haskell those two might be literally the same thing. When the compiler sees the second, it does the first (obviously over simplifying all over the place here, but that's the idea I think is being expressed).