Nếu Array.append không có đối số có thể thay đổi được áp dụng một phần thì lambda có thể bị xóa

Question

Tôi có Mảng mảng. Tôi cần phải làm phẳng chúng và tôi sử dụng:

Array.fold (fun acc el -> Array.append acc el) [||] arr2d 

Lint nói với tôi rằng:

"Nếu Array.append có lẽ không thể thay đổi một phần áp dụng thì lambda có thể được gỡ bỏ"

Điều đó có nghĩa là gì? Làm thế nào tôi có thể loại bỏ lambda?

Answer 1

Bất kỳ hàm lambda nào ở dạng (fun x -> f x) đều có thể được biểu thị là f. Giữ điều kiện bất biến.

Trong mã của bạn, bạn có fun acc el -> Array.append acc el trong đó có cùng loại và làm giống như Array.append, vì vậy bạn có thể rút ngắn nó để:

Array.fold Array.append [||] arr2d