¿Cómo funciona F # inline?

Question

Con F # entiendo que puede usar la palabra clave en línea para realizar una especialización de tipo en el sitio de llamadas. Es decir ::

val inline (+) : ^a -> ^b -> ^c 
     when (^a or ^b) : (static member (+) : ^a * ^b -> ^c) 

Restringe que ^a o ^b debe tener un miembro estático como op_Addition, o uno de los incorporados en las primitivas, que se puede utilizar para rellenar el hueco.

Así que si tienes un método que tiene un + y pasas un int y un short como parámetros, desenvuelve + en una instrucción para usar la primitiva incorporada para int, y si pasas en un flotante y un byte utiliza el código de operación de suma primitiva flotante.

¿Cómo se hace esto exactamente en tiempo de compilación? ¿Cómo se puede tener un método en el CLR que cambie qué código de operación o método utiliza en función del tipo?

¿Es posible este comportamiento con Reflection.Emit? Entiendo que la alineación se realiza en el sitio de llamada, ¿eso significa que el código no funciona con C#?

Answer 1

Según lo sugerido por inline, el código está subrayado en el sitio de la llamada. En cada sitio de llamada, conoce el parámetro de tipo concreto ^T, por lo que el código específico para ese tipo se inserta allí.

Esto se hace mediante el compilador F #, no se puede hacer fácilmente en otro contexto (como C# o Ref.Emit).

La biblioteca F # tiene algunas funciones en línea que aún pueden ser llamadas por otros idiomas, el tiempo de ejecución para esas implementaciones hace el despacho dinámico basado en el tipo de tiempo de ejecución, ver p. el código para AdditionDynamic en prim-types.fs en el código de la biblioteca F # Core para tener una idea.