Trong ghci, khi tôi gõ
:t (-)để tìm ra loại (-), nó trả về
(-) :: Num a => a -> a -> aTuy nhiên, khi tôi viết -1haskell trả về một số, dường như ngụ ý đó (-)là loại Num a => a -> a. Làm thế nào (-)dường như có thể có hai loại khác nhau?
Câu trả lời:
Đây là một quyết định thiết kế trong ngôn ngữ. -1là một số, nhưng việc sử dụng nó trong ngữ cảnh này không liên quan đến chức năng(-) . (Như Ackdari đề cập trong câu trả lời của họ, cách sử dụng này có liên quan đến chức năng negate.) Có một số thỏa hiệp cho phép điều này hoạt động:
Bạn không thể lấy một lát bên phải của (-)toán tử. Như một giải pháp thay thế, Haskell cung cấp subtractchức năng.
Bạn không thể viết một số nguyên âm mà không có dấu ngoặc đơn trừ khi nó ở đầu một bài tập (ví dụ trực tiếp sau =hoặc ->). Điều này tạo ra một lỗi phân tích cú pháp:
let x = 8 * -1Thay vào đó, nó nên được viết là
let x = 8 * (-1)Tuy nhiên, điều này là tốt:
let x = -1 * 8Đây được coi là sự đánh đổi hợp lý cho các nhà thiết kế ngôn ngữ.
Câu trả lời đã được giải thích trong haskell-wiki , nó nói
Điểm trừ đơn nhất là đường cú pháp cho hàm Prelude
negate
Vì vậy, hàm (-)luôn luôn là a - bhàm và nếu bạn viết mã như
let x = -ytrình biên dịch sẽ dịch nó sang let x = negate y.
Điểm trừ đơn phương là đặc biệt trong Haskell. Như đã nêu trong phần 3.4 của Báo cáo :
Biểu mẫu đặc biệt biểu thị phủ định tiền tố, toán tử tiền tố duy nhất trong Haskell và là cú pháp cho . Toán tử nhị phân không nhất thiết phải đề cập đến định nghĩa trong Prelude; nó có thể được phục hồi bởi hệ thống mô-đun. Tuy nhiên, unary sẽ luôn đề cập đến chức năng được xác định trong Prelude. Không có mối liên hệ giữa ý nghĩa cục bộ của toán tử và phủ định đơn phương.
-enegate (e)---negate-