¿Qué hace que FSharpFunc <> sea más rápido que Func <>?

Question

Tengo curiosidad acerca de las mejoras de rendimiento que se han realizado para FSharpFunc <>. ¿Es el hecho de que no contiene múltiples delegados por lo que no hay necesidad de recorrer todas las referencias al disparar una llamada de función? Algo más ?

Answer 1

Creo que la principal motivación para usar FSharpFunc<> en lugar de Func<> o cualquier otro delegado es que no puede crear una clase que heredaría de un tipo de delegado (al principio, esto suena razonable, pero en .NET, delegar es en realidad solo una clase especial, por lo que y ser en principio posible permitir esto). ¿Por qué es esto necesario?

Si escribe una función en F #, entonces (en un número relativamente pequeño, pero bastante importante) se trata con curry. Por ejemplo, int -> int -> int es en realidad un tipo de función int -> (int -> int) (currying significa que usted escribe una función usando solo funciones de un solo parámetro; si lo llama con el primer argumento, obtendrá una función como resultado y podrá invocar la función devuelta con el segundo argumento).

Si F # usó delegados, el tipo sería algo así como Func<int, Func<int, int>>. Como Brian mencionó, la invocación f x y se traduciría en dos invocaciones: f(x)(y). Sin embargo, este tipo de invocación es la más común (especificar solo un argumento se llama aplicación de función parcial). Por lo tanto, cuando F # compila una función como esta, se crea una clase heredada con un método de invocación optimizado, de modo que pueda ser invocada como f.Invoke(x, y):

class @some_F#_name@ : Func<int, Func<int, int>> { 
    public int Invoke(int arg1, int arg2) { /* optimized call */ } 
} 

Por desgracia, no es posible crear dicha clase heredando desde estándar Func (porque es un delegado), por lo que F # tiene que declarar su propio tipo que se puede usar como clase base ...

Answer 2

(creo que ahora llaman FSharpFunc en lugar de FastFunc.)

Está representado como un tipo con un único método abstracto (invocación), que creo que evita algunos de los gastos generales que se obtiene con verdaderos delegados. Y para múltiples parámetros al curry, que le permite llamar con todos los parámetros 'a la vez' en lugar de uno por uno (por ejemplo, de manera que f x y pueda recurrirse por el CLR como f(x,y) en lugar de f(x)(y).

¿Hay algo Si no recuerdo ahora, puede ver el código fuente en prim-types.fs en FSharp.Core en la distribución fuente que viene con la versión CTP.