Trong F #, toán tử >> có nghĩa là gì?

Question

tôi nhận thấy ở một số mã trong sample này có chứa các >> nhà điều hành:

let printTree = 
    tree >> Seq.iter (Seq.fold (+) "" >> printfn "%s") 

Gì >> nhà điều hành trung bình/làm gì?

Cảm ơn rất nhiều, giờ đây rõ ràng hơn rất nhiều. Dưới đây là ví dụ của tôi, tôi tạo ra để nhận được hang của nó:

open System 
open System.IO 

let read_lines path = File.ReadAllLines(path) |> Array.to_list 

let trim line = (string line).Trim() 
let to_upper line = (string line).ToUpper() 

let new_list = [ for line in read_lines "myText.txt" -> line |> (trim >> to_upper) ] 

printf "%A" new_list 

Answer 1

Đó là toán tử thành phần hàm.

Thông tin thêm về Chris Smith's blogpost.

Giới thiệu Chức năng Thành phần điều hành (>>):

let inline (>>) f g x = g(f x)

nào đọc như: cho hai chức năng, f và g, và một giá trị, x, tính toán kết quả của f của x và vượt qua kết quả đó đến g. Điều thú vị ở đây là mà bạn có thể cà ri hàm (>>) và chỉ truyền tham số f và g, kết quả là hàm lấy tham số đơn và tạo kết quả g (f (x)) .

Dưới đây là một ví dụ nhanh của sáng tác một hàm ra khỏi những cái nhỏ hơn:

let negate x = x * -1 
let square x = x * x 
let print x = printfn "The number is: %d" x 
let square_negate_then_print = square >> negate >> print 
asserdo square_negate_then_print 2 

Khi thực hiện in ‘-4’.

Answer 2

Theo F# Symbol and Operator Reference nó là Forward điều hành Chức năng phần.

Answer 3

Đó là hàm hợp, sử dụng cho partial application

Answer 4

Nhà điều hành >> soạn hai chức năng, vì vậy x |> (g >> f) = x |> g |> f = f (g x). Ngoài ra còn có một toán tử khác << được tạo theo một hướng khác, sao cho số (f << g) x = f (g x), điều này có thể tự nhiên hơn trong một số trường hợp.

Answer 5

Các toán tử thành phần, << và >> được sử dụng để nối hai hàm sao cho kết quả của một hàm trở thành đầu vào của hàm kia. Kể từ khi chức năng cũng là những giá trị, trừ trường hợp lưu ý, họ được đối xử như vậy để các biểu thức sau là tương đương:

f1 f2 f3 ... fn x = (..((f1 f2) f3) ... fn) x

Cụ thể, f2, f3, ...fn và x được coi là giá trị và không được đánh giá trước khi được thông qua như là tham số cho các hàm trước của chúng. Đôi khi đó là những gì bạn muốn nhưng lần khác bạn muốn chỉ ra rằng result của một chức năng là đầu vào của cái kia.Điều này có thể được thực hiện bằng cách sử dụng các nhà khai thác thành phần << và >> như sau:

(f1 << f2 << f3 ... << fn) x = f1(f2(f3 ... (fn x)..)

Tương tự

(fn >> ... f3 >> f2 >> f1) x = f1(f2(f3 ... (fn x)..)

Kể từ khi các nhà điều hành phần trả về một chức năng, các thông số rõ ràng, x, không được yêu cầu không giống như trong các nhà khai thác đường ống x |> fn ... |> f1 hoặc f1 <| ... fn <| x