哪项陈述准确区分了严格柯里化与偏应用？

哪项陈述准确区分了严格柯里化与偏应用？

1. 严格柯里化把调用改写成一元层级；偏应用预先绑定部分实参，并返回接收剩余实参的函数。
2. 偏应用每次只能绑定一个实参。
3. 柯里化要求目标函数必须是异步函数。
4. 两个术语始终表示完全相同的调用契约。