Tại sao tôi không thể sử dụng các tham số chức năng trong ký hiệu cập nhật bản ghi?

Question

Ví dụ về mã bị hỏng:

data Foo = Foo { 
    bar :: (Int -> Int) 
    } 

baz = Foo { bar i = i*3 } 

Tại sao điều này không thể?

Answer 1

này nên làm việc:

baz = Foo { bar = (\x -> x*3) } 

Answer 2

Nó chỉ là một giới hạn cú pháp - Tôi nghi ngờ rằng nếu tính năng này đã được xem xét, nó sẽ đã bị từ chối vì có giải pháp thay thế đơn giản. Ngoài ra, nếu nó được hỗ trợ, câu hỏi tiếp theo sẽ là lý do tại sao không phù hợp với mô hình với nhiều mệnh đề, và tổng thể nó sẽ chỉ làm cho ngôn ngữ lớn hơn cho không phải tất cả những gì đạt được nhiều.

Bạn có thể sử dụng baz = Foo { bar = \x -> x*3 } để thay thế cho trường hợp cụ thể bạn đã cung cấp hoặc xác định chức năng phụ trợ.