Cách xác định x ++ (trong đó x: int ref) trong F #?

Question

Tôi hiện đang sử dụng chức năng này

let inc (i : int ref) = 
    let res = !i 
    i := res + 1 
    res 

để viết những thứ như

let str = input.[inc index] 

Làm thế nào xác định toán tử tăng ++, vì vậy mà tôi có thể viết

let str = input.[index++] 

Answer 1

Bạn không thể định nghĩa các nhà khai thác postfix trong F # - xem 4.4 Operators and Precedence. Nếu bạn đồng ý làm cho nó tiền tố thay vào đó, sau đó bạn có thể định nghĩa, ví dụ,

let (++) x = incr x; !x 

và sử dụng nó như sau:

let y = ref 1 
(++) y;; 

val y : int ref = {contents = 2;} 

CẬP NHẬT: như fpessoa chỉ ra ++không thể được được sử dụng như một nhà điều hành tiền tố chính hãng, thực sự (xem here và there cho các quy tắc khi ký tự và chuỗi ký tự bao gồm các toán tử tiền tố F # hợp lệ).

Điều thú vị là unary + có thể bị quá tải với mục đích:

let (~+) x = incr x; !x 

phép

let y = ref 1 
+y;; 

val y : int ref = {contents = 2;} 

Tuy nhiên, nó có ý nghĩa kể rằng ý tưởng lặp lại một mảng như dưới đây

let v = [| 1..5 |] 
let i = ref -1 
v |> Seq.iter (fun _ -> printfn "%d" v.[+i]) 

vì mục đích "dễ đọc" trông ít nhất là phạm vi so với cách chức năng thành ngữ

[|1..5|] |> Seq.iter (printfn "%d") 

mà một số bắt đầu đã có ý kiến ​​cho câu hỏi ban đầu.

Answer 2

Tôi đã cố gắng viết nó như một toán tử tiền tố như được đề xuất, nhưng bạn không thể xác định (++) làm toán tử tiền tố thích hợp, ví dụ, chạy những thứ như ++ y không có() như bạn có thể làm ví dụ cho (! +):

let (!+) (i : int ref) = incr i; !i 

let v = [| 1..5 |] 
let i = ref -1 
[1..5] |> Seq.iter (fun _ -> printfn "%d" v.[!+i]) 

Xin lỗi, nhưng tôi đoán câu trả lời là bạn thực sự không thể làm được điều đó.