Haskell - Giới thiệu về Curried

Question

Trong Haskell, tất cả các chức năng ban đầu được kết hôn, phải không?

Vì vậy, hãy xem hàm max và tôi sẽ viết những gì tôi hiểu về cách hoạt động của tính năng này.

Khi tôi viết một cái gì đó như thế này:

max 4 5 

gì xảy ra là một funcion mới được tạo ra trong nội bộ có giá trị là 4, sau đó recieves một giá trị, vì vậy chức năng này được áp dụng cho 5 và đúng giá trị được trả về?

Tôi đã nói điều gì đó sai trái hoặc điều này có đúng không?

Answer 1

Đúng vậy. Bạn có thể nhớ những gì currying là tất cả về bằng cách ghi nhớ hai trong số các bản sắc quan trọng nhất của nó:

-- Function type right-associativity: 
a -> b -> c = a -> (b -> c) 

-- Function application left-associativity: 
f x y = (f x) y 

Hai danh tính này làm việc cùng nhau và tạo ra một ngôn ngữ curried.