Biểu thức Lambda không có tham số trong phép tính Haskell và / hoặc lambda

Trong các ngôn ngữ háo hức như Scheme và Python, bạn có thể sử dụng biểu thức lambda mà không có tham số để trì hoãn đánh giá, ví dụ như trong Scheme (Lược đồ gà):

#;1> (define (make-thunk x) (lambda () (+ x 1)))
#;2> (define t (make-thunk 1))
#;3> (t)
2

Trong dòng 2, tđược liên kết với biểu thức không (lambda () (+ 1 1))được đánh giá, sau đó được ước tính 2trong dòng 3.

Tương tự, trong Python:

>>> def make_thunk(x): return lambda: x + 1
... 
>>> t = make_thunk(1)
>>> t()
2

Sử dụng kỹ thuật này, người ta có thể thực hiện đánh giá lười biếng trong một ngôn ngữ háo hức.

Vì vậy, tôi đã hy vọng rằng Haskell sẽ không có biểu thức lambda nếu không có tham số vì ngôn ngữ đã lười biếng và không cần phải xây dựng biểu thức bị trì hoãn. Thật ngạc nhiên, tôi phát hiện ra rằng trong Haskell có thể viết biểu thức lambda

\() -> "s"

chỉ có thể được áp dụng cho ()giá trị như vậy:

(\() -> "s") ()

đưa ra kết quả

"s"

Áp dụng chức năng này cho bất kỳ đối số nào khác ngoài việc ()ném một ngoại lệ (ít nhất là theo như tôi có thể thấy trong các thử nghiệm của mình). Điều này có vẻ khác với đánh giá chậm trong Scheme và Python, vì biểu thức vẫn cần một đối số để được đánh giá. Vậy biểu thức lambda không có biến (như \() -> "s") có nghĩa gì trong Haskell và nó có thể hữu ích cho việc gì?

Ngoài ra, tôi sẽ tò mò muốn biết liệu các biểu thức lambda không tham số tương tự có tồn tại trong (một số loại) lambda-tính toán hay không.

Chà, các câu trả lời khác bao gồm những gì \() -> "something"có nghĩa trong Haskell: một hàm unary lấy ()làm đối số.

• Hàm không có đối số là gì? - Một giá trị. Trên thực tế, đôi khi có thể hữu ích khi nghĩ về các biến là các hàm vô giá trị để đánh giá giá trị của chúng. Các let-syntax cho một hàm không có đối số (mà không thực sự tồn tại) kết thúc đem lại cho bạn một biến ràng buộc:let x = 42 in ...

• Có tính toán lambda có chức năng nullary? - Không. Mỗi hàm có chính xác một đối số. Tuy nhiên, đối số này có thể là một danh sách hoặc hàm có thể trả về một hàm khác có đối số tiếp theo. Haskell thích giải pháp sau, vì vậy đó a b cthực sự là hai lệnh gọi hàm ((a b) c). Để mô phỏng các hàm null, bạn phải chuyển một số giá trị giữ chỗ không sử dụng.

Bạn đang hiểu sai ý ()nghĩa của Haskell. Đó không phải là thiếu một giá trị, nó đúng hơn là giá trị duy nhất của loại Đơn vị (chính loại được gọi bằng một bộ dấu ngoặc rỗng ()).

Vì lambdas có thể được xây dựng để sử dụng khớp mẫu, nên biểu thức lambda \() -> "s"nói rõ ràng là "tạo một hàm ẩn danh, mong đợi một đầu vào khớp với ()mẫu". Không có nhiều điểm để làm điều đó, nhưng nó chắc chắn được cho phép.

Bạn cũng có thể sử dụng khớp mẫu với lambdas theo những cách khác:

map (\(a, b) -> a + b) [(1,2), (3,4), (5,6)] -- uses pattern matching to destructured tuples

map (\(Name first _) -> first) [Name "John" "Smith", Name "Jane" "Doe"] -- matches a "Name" data type and its first field

map (\(x:_) -> x) [[1,2,3], [4,5,6]] -- matches the head of a list

() -> "s"là một hàm lambda có một đối số:

ghci> :t (\() -> "s")
(\() -> "s") :: () -> [Char]

(), tuple trống (đôi khi được gọi là Đơn vị), là một loại hoàn chỉnh trong Haskell. Nó chỉ có một thành viên (bỏ qua _|_*), cũng được viết là (). Nhìn vào định nghĩa của ():

data () = ()

Điều này có nghĩa là biểu mẫu ở phía bên trái của biểu thức lambda của bạn về mặt cú pháp là khớp mẫu, khớp với ()thành viên duy nhất của loại (). Chỉ có một cách hợp lệ để gọi nó (đó là cung cấp ()dưới dạng đối số) vì chỉ có một thành viên hợp lệ của loại ().

Một chức năng như vậy không hữu ích lắm trong Haskell, bởi vì theo mặc định các thuật ngữ được đánh giá một cách lười biếng, như bạn đã quan sát trong câu hỏi của mình.

Đối với một lời giải thích chi tiết hơn nhiều, xem câu trả lời này .

_{* _|_được gọi là "dưới cùng" hoặc "không xác định". Nó luôn kiểm tra kiểu, nhưng nó làm hỏng chương trình của bạn. Ví dụ kinh điển về cách lấy a _|_là let x = x in x.}