Loại kiểu này là gì?

Question

Tôi chỉ mới bắt đầu làm việc thông qua cuốn sách Tamizhvendan S' F # Ứng dụng và đã xem qua đoạn mã này:

type WebPart = Context -> Async<Context option> 

Tôi đã nhìn qua của Microsoft F # docs cũng như yêu thích F # trang web của tôi, Scott Wlaschin của F# for Fun and Profit nhưng đã không thể tìm thấy bất kỳ tham chiếu đến loại hình này. Nó không có vẻ giống như một loại bản ghi. Nó gần như có vẻ giống như một chức năng cũ đơn giản. Vậy đo la cai gi?

Cảm ơn bạn đã giúp đỡ mọi người.

Answer 1

Loại WebPart bạn đang xem đến từ Suave. Bạn có thể đọc thêm về nó tại https://suave.io/async.html, nhưng tôi sẽ tóm tắt. Bạn chính xác: nó là một loại cho một hàm. Cụ thể, nó là một hàm cần có một Context (mà trong Suave là sự kết hợp của một bản ghi yêu cầu HTTP và một bản ghi phản hồi), và trả về một Context option không đồng bộ. Đó là, vì một số yêu cầu có thể thất bại, hàm có tùy chọn trả về None thay vì giá trị. Và vì một số yêu cầu có thể mất nhiều thời gian, tất cả các yêu cầu được coi là trả về không đồng bộ, do đó, Async.

Để ghép hai yêu cầu lại với nhau, Suave cung cấp toán tử liên kết >=> để bạn không phải trải qua bản mẫu soạn sẵn của việc nhập async { match result1 with None -> None | Some x -> return! request2 x mọi lúc; thay vào đó, bạn chỉ có thể nhập request1 >=> request2 cho cùng một hiệu ứng.

Nếu bạn cần thêm trợ giúp và đọc qua tài liệu Suave chưa cung cấp trợ giúp bạn cần, hãy cho chúng tôi biết và chúng tôi sẽ cố gắng giải thích thêm.

Answer 2

Quá dài để nhận xét. Và tôi chưa bao giờ sử dụng Suave. Tuy nhiên, tôi nghĩ rằng tôi có thể đoán từ các tính chất đơn điệu của các loại có liên quan rằng >=> không phải là toán tử liên kết, mà là toán tử tổng hợp Kleisli. Nếu không quan sát monad laws hoặc cố gắng tìm hiểu category theory, chỉ bằng cách giả chữ ký là:

val (>>=) : 
    Async<'a option> -> ('a -> Async<'b option>) -> Async<'b option> 
val (>=>) : 
    ('a -> Async<'b option>) -> ('b -> Async<'c option>) -> 'a -> Async<'c option> 

Nhà điều hành bind mất một Async<'a option> và biến đổi nó bằng cách của một hàm binder 'a -> Async<'b option> thành một Async<'b option>. Toán tử Kleisli soạn hai hàm binder thành một phần ba.

Các nhà khai thác này đang làm việc trên các loại đơn lẻ và chức năng chung chung hơn các loại cụ thể được mô tả bằng loại viết tắt như type WebPart = Context -> Async<Context option>. Việc thực hiện các toán tử sau gần như tự nhiên.

let (>>=) request1 binder = async { 
    let! result1 = request1 
    match result1 with 
    | None -> return None 
    | Some x -> return! binder x } 

let (>=>) f g a = f a >>= g