Entry Point

This topic describes the method that you use to set the entry point to an F# program.




In the previous syntax, let-function-binding is the definition of a function in a let binding.

The entry point to a program that is compiled as an executable file is where execution formally starts. You specify the entry point to an F# application by applying the EntryPoint attribute to the program's main function. This function (created by using a let binding) must be the last function in the last compiled file. The last compiled file is the last file in the project or the last file that is passed to the command line.

The entry point function has type string array -> int. The arguments provided on the command line are passed to the main function in the array of strings. The first element of the array is the first argument; the name of the executable file is not included in the array, as it is in some other languages. The return value is used as the exit code for the process. Zero usually indicates success; nonzero values indicate an error. There is no convention for the specific meaning of nonzero return codes; the meanings of the return codes are application-specific.

The following example illustrates a simple main function.

let main args =
    printfn "Arguments passed to function : %A" args
    // Return 0. This indicates success.

When this code is executed with the command line EntryPoint.exe 1 2 3, the output is as follows.

Arguments passed to function : [|"1"; "2"; "3"|]

Implicit Entry Point

When a program has no EntryPoint attribute that explicitly indicates the entry point, the top level bindings in the last file to be compiled are used as the entry point.

See also