Tại sao trình xây dựng tính toán seq không cho phép "cho phép!"

Question

tôi nhận thấy rằng đoạn mã sau đưa ra một thông báo lỗi khi bạn cố gắng để biên dịch nó:

let xx = 
    seq { 
    let! i = [ 1; 2 ] 
    let! j = [ 3; 4 ] 
    yield (i,j) 
    } 

Các lỗi này sẽ cho là "lỗi FS0795: '! Hãy để x = coll' Việc sử dụng trong các biểu thức chuỗi là không Sử dụng 'for x in coll' thay thế. "Thông báo này tất nhiên là rõ ràng và thể hiện cách khắc phục nó; mã cố định sẽ là:

let xx = 
    seq { 
    for i in [ 1; 2 ] do 
     for j in [ 3; 4 ] do 
     yield (i,j) 
    } 

Câu hỏi của tôi không phải là cách khắc phục điều này, nhưng tại sao "cho phép!" không được phép trong các biểu thức trình tự ở nơi đầu tiên? Tôi có thể thấy thực tế là như thế nào! lặp lại qua một biểu thức có thể gây ngạc nhiên cho một số người, nhưng điều đó không đủ để không cho phép cấu trúc. Tôi cũng thấy cách "for" mạnh hơn ở đây, như phiên bản với "let!" bakes trong phạm vi của iteration là "cho đến khi kết thúc của biểu thức trình tự".

Tuy nhiên, việc có thể lặp qua một chuỗi mà không cần phải thụt lề mã là chính xác những gì tôi đang tìm kiếm (để duyệt qua cấu trúc cây). Tôi cho rằng để có được ngữ nghĩa này, tôi sẽ phải tạo một trình tạo biểu thức mới hoạt động chủ yếu giống như trình tạo biểu thức "seq", nhưng cho phép "cho phép!" cho lặp lại, phải không?

---

gia tăng, dựa trên nhận xét của Brian bên dưới, cung cấp giải pháp cho vấn đề tiềm ẩn của tôi:

Tôi đã không nhận ra sự thụt vào trong cho khối là không cần thiết, và lần thứ hai mẫu có thể được viết lại là:

let xx = 
    seq { 
    for i in [ 1; 2 ] do 
    for j in [ 3; 4 ] do 
    yield (i,j) 
    } 

... loại bỏ sự thụt đầu dòng ngày càng tăng khi di chuyển qua cấu trúc cây. Cú pháp thậm chí cho phép báo cáo bổ sung trong giữa cho báo cáo mà không đòi hỏi thêm thụt đầu dòng, như trong:

let yy = 
    seq { 
    for i in [ 1; 2 ] do 
    let i42 = i+42 
    for j in [ 3; 4 ] do 
    yield (i42,j) 
    } 

Bây giờ, nếu duy nhất tôi có thể tìm ra lý do tại sao tôi nghĩ rằng các báo cáo này sẽ đòi hỏi thụt đầu dòng ...

Answer 1

Chỉ một vài tuần trước, tôi đã viết một bài báo với Don Syme, cố gắng giải thích một số động lực đằng sau các lựa chọn cú pháp trong biểu thức tính toán F # (như biểu thức trình tự, quy trình công việc không đồng bộ và các biểu thức khác). Bạn có thể find it here. Nó không đưa ra câu trả lời rõ ràng cho câu hỏi của bạn, nhưng nó có thể hữu ích.

Nói chung, khi bạn có một số loại M<'T> và bạn đang định xây dựng tính toán, bạn có thể thêm các phương pháp For và Bind để cho phép for và let! cú pháp:

For : seq<'T> -> ('T -> M<'T>) -> M<'T> 
Bind : M<'T> -> ('T -> M<'T>) -> M<'T> 

Các đầu vào cho For nên luôn luôn có một số trình tự seq<'T>, trong khi đầu vào cho Bind phải là loại M<'T> mà bạn đang xác định nó.

Trong biểu thức trình tự, hai thao tác này sẽ có cùng loại và do đó chúng sẽ phải thực hiện tương tự. Mặc dù các biểu thức trình tự có thể cung cấp cả hai, nhưng có thể là một ý tưởng hay khi chỉ cho phép một, bởi vì sử dụng hai từ khóa khác nhau cho một điều sẽ gây nhầm lẫn.Một nguyên tắc chung là mã trong khối comp { .. } sẽ hoạt động như mã bình thường - và vì for tồn tại trong mã F # bình thường, nên sử dụng cùng cú pháp bên trong biểu thức tính toán cho seq<'T>.