Hiệu ứng phụ hiệu quả của việc xác định hàm bên trong hàm đệ quy so với bên ngoài trong F #

Question

Nếu bạn có hàm đệ quy dựa trên một số hàm khác thì cách ưa thích để thực hiện điều đó là gì?

1) bên ngoài hàm đệ quy

let doSomething n = ... 
let rec doSomethingElse x = 
    match x with 
    | yourDone -> ... 
    | yourNotDone -> doSomethingElse (doSomething x) 

2) bên trong hàm đệ quy

let rec doSomethingElse x = 
    let doSomething n = ... 
    match x with 
    | yourDone -> ... 
    | yourNotDone -> doSomethingElse (doSomething x) 

3) đóng gói cả hai bên trong một hàm thứ ba

let doSomethingElse x = 
    let doSomething n = ... 
    let innerDoSomethingElse = 
     match x with 
     | yourDone -> ... 
     | yourNotDone -> innerDoSomethingElse (doSomething x) 

4) một cái gì đó thậm chí tốt hơn?

Answer 1

module Test = 

    let f x = 
     let add a b = a + b //inner function 
     add x 1 

    let f2 x = 
     let add a = a + x //inner function with capture, i.e., closure 
     add x 

    let outerAdd a b = a + b 

    let f3 x = 
     outerAdd x 1 

Chuyển thành:

[CompilationMapping(SourceConstructFlags.Module)] 
public static class Test { 

    public static int f(int x) { 
     FSharpFunc<int, FSharpFunc<int, int>> add = new add@4(); 
     return FSharpFunc<int, int>.InvokeFast<int>(add, x, 1); 
    } 

    public static int f2(int x) { 
     FSharpFunc<int, int> add = new add@8-1(x); 
     return add.Invoke(x); 
    } 

    public static int f3(int x) { 
     return outerAdd(x, 1); 
    } 

    [CompilationArgumentCounts(new int[] { 1, 1 })] 
    public static int outerAdd(int a, int b) { 
     return (a + b); 
    } 

    [Serializable] 
    internal class add@4 : OptimizedClosures.FSharpFunc<int, int, int> { 
     internal add@4() { } 

     public override int Invoke(int a, int b) { 
      return (a + b); 
     } 
    } 

    [Serializable] 
    internal class add@8-1 : FSharpFunc<int, int> { 
     public int x; 

     internal add@8-1(int x) { 
      this.x = x; 
     } 

     public override int Invoke(int a) { 
      return (a + this.x); 
     } 
    } 
} 

Các chi phí bổ sung duy nhất cho một chức năng bên trong được new'ing lên một thể hiện của FSharpFunc --seems không đáng kể.

Trừ khi bạn đang rất hiệu suất nhạy cảm, tôi sẽ đi với phạm vi có ý nghĩa nhất, đó là phạm vi hẹp nhất có thể.