Question

Hi,

I want to devise an experiment to verify that F# is using static scooping as opposed to dynamic scoping.

here is a similar program written in C language:

int n = 3;
int f() { return n; } // f must refer to an external (free) variable
int main()
{
int x = 2;
printf("%d", f()); // prints 3 if static, 2 if dynamically scoped
return 0;
}

However, there's no main in F#.

Thank you.

Answer 1

ANSWER:

• I have converted the above C code in F# and the value it prints 3.
• I have provided the code in both text and image format so you can easily copy the code as well as check for correct indentation.
• I have provided the output of the code you can easily cross-check for correct output of the code.
• Have a nice and healthy day :)

CODE TEXT

// defining global variable

let n = 3

let f ()=n // f must refer to an external (free) variable

// defining function main

let main ()=

let x = 2

let f_v = f () // calling function f

printfn "%i" f_v // prints 3 if static, 2 if dynamically

// calling function main

main ()

CODE IMAGE

OUTPUT IMAGE