вот функция умножает элементы в списке, используя стиль CPS
mlist xx k = aux xx k
where aux [] nk = nk 1
aux (0:xs) nk = k 0
aux (x:xs) nk = aux xs $ \v -> mul x v nk
что, если я заменю 'k' на 'nk' в выражении aux (0:xs) nk = k 0, какая разница между ними?
k всегда является исходным продолжением, переданным mlist, тогда как для списка [1, 0] nk в этом случае будет \v -> mul 1 v k (из третьего случая aux).
Если мы предположим, что mul определяется как mul x y k = k $ x*y, это не имеет практического значения, поскольку y всегда будет равно 0. Но фактический метод получения этого результата отличается (за исключением возможных оптимизаций компилятором).
Разница в том, что исходное определение "замыкает" любые встроенные умножения, переданные приложениями хвостового вызова, в то время как измененное выражение только закорачивает проверку значений - оно сохраняет встроенную "версию" функции продолжения.
