scala柯里化的用途