Là biểu thức tính toán giống như đơn nguyên?

Tôi vẫn đang học lập trình chức năng (với f #) và gần đây tôi đã bắt đầu đọc về các biểu thức tính toán. Tôi vẫn chưa hiểu đầy đủ về khái niệm này và một điều khiến tôi không chắc chắn khi đọc tất cả các bài viết liên quan đến các đơn nguyên (hầu hết chúng được viết dựa trên Haskell) là mối quan hệ giữa các biểu thức tính toán và các đơn nguyên.

Đã viết tất cả, đây là câu hỏi của tôi (thực sự là hai câu hỏi):

Có phải mọi biểu thức tính toán F # là một đơn nguyên? Mỗi đơn nguyên có thể được biểu thị với biểu thức tính toán F # không?

Tôi đã đọc bài đăng này của Tomas Petricek và nếu tôi hiểu rõ về nó, nó nói rằng các biểu thức tính toán nhiều hơn các đơn nguyên, nhưng tôi không chắc liệu tôi có giải thích chính xác điều này không.

Trước hết, biểu thức tính toán là một tính năng ngôn ngữ, trong khi monads là trừu tượng toán học, vì vậy từ quan điểm này, họ là hoàn toàn khác nhau điều .

Nhưng đó không phải là một câu trả lời rất hữu ích :-). Biểu thức tính toán là một tính năng ngôn ngữ cung cấp cho bạn một cú pháp có thể được sử dụng để lập trình với các tính toán (hoặc kiểu dữ liệu) có cấu trúc đơn âm, nhưng chúng cũng có thể được sử dụng với các cấu trúc khác. Bạn có thể đọc bài viết về sở thú biểu hiện tính toán F # của tôi để biết thêm chi tiết, nhưng các biểu thức tính toán có thể được sử dụng với:

• Monads, nhưng cũng là monads phụ gia (những gì Haskeller gọi MonadPlushoặc MonadOr)
• Tính toán tổng hợp (cái mà Haskeller gọi là máy biến áp đơn nguyên)
• Các tính toán đơn điệu, nhưng hỗ trợ các cấu trúc F # khác như xử lý ngoại lệ
• Đơn sắc (và một vài biến thể không có liên kết đơn âm)
• Functor ứng dụng (mặc dù điều này chỉ được thực hiện trong một phần mở rộng nghiên cứu)

Vì vậy, các biểu thức tính toán chắc chắn được liên kết chặt chẽ với các đơn nguyên, nhưng chúng không được liên kết chặt chẽ với chúng. Điều này trái ngược với ví dụ với doký hiệu của Haskell , liên kết chặt chẽ hơn nhiều với các đơn nguyên (mặc dù thậm chí có thể được sử dụng với các tính toán không phải là đơn nguyên toán học nghiêm ngặt).

Bạn có thể sử dụng các biểu thức tính toán để thể hiện các đơn nguyên. Có một ví dụ ở đây . Ngoài ra, như bạn đã lưu ý, bạn có thể sử dụng các biểu thức tính toán cho nhiều thứ hơn là chỉ các đơn nguyên. Có một lời giải thích mở rộng về cách chúng khác nhau ở đây . Không có không gian ở đây để giải thích sự khác biệt một cách chính xác, nhưng các biểu thức tính toán khác với các đơn nguyên ở chỗ chúng sử dụng lại cú pháp F # bình thường và có khả năng thêm các tóm tắt bổ sung. Một hạn chế là nó không phải là thành ngữ (và khó) để viết biểu thức tính toán là đa hình so với loại tính toán.