Должны ли функции быть параметром?

Question

let sub (a:float[]) (b:float[])=  
    [| for i = 0 to Array.length a - 1 do yield a.[i]-b.[i] |]

let fx t = [0..t]
let x=sub (fx t) (fx t)

Над компиляциями ОК.

Но то же самое вызывает ошибку, когда я заменяю вызов функции вызовом метода:

type type_f = delegate of float -> float[]
let mutable f =new type_f(fun t->[|0..t|])
let m=f.Invoke(5) //float[]
let y=sub m f.Invoke(5)//error

Как передать результатвызов метода в качестве параметра функции?

Answer 1

В F # строка

let y = sub m f.Invoke(5)

неоднозначно анализируется как

let y = sub   m   f.Invoke   (5)

(передавая три аргумента sub).

Чтобы исправить это, вам нужно больше скобок:

let y = sub m (f.Invoke(5))

(Обратите внимание, что использование типов delegate не является идиоматическим, если не происходит взаимодействие с кодом .NET на других языках. Если f былофункции, тогда, как вы заметили,

let y = sub m (f 5)

будет достаточно.)