let rec loopAndSum aList sumSoFar = 

    match aList with

    | [] -> sumSoFar

    | x :: xs -> 

        loopAndSum xs (sumSoFar + x)

​

loopAndSum [ 1..5 ] 0 

|> printfn "sum: %i"

​