Étant donné la fonction anonyme ci-dessous, que signifie "<fun:[email protected]>" dans la signature de la fonction?

Question

Dans cette signature de fonction anonyme F #, que signifie "fun: clo @ 1"?

(fun x-> x+2);; 
val it : x:int -> int = <fun:clo@1> 

Je comprends ce que la fonction anonyme est en train de faire, et je comprends le reste de la signature, et je l'ai regardé autour d'une réponse, mais ne sont pas encore à comprendre ce que les « » signifie?

Answer 1

Cette partie est essentiellement un nom généré automatiquement pour la fonction. La partie fun est parce que c'est une fonction.

Le clo sera dans certains cas remplacé par une version de la fonction conteneur si le lambda est dans une autre fonction. Le @1 est le premier lambda de la fonction.

Tout cela est vraiment un détail de mise en œuvre et pourrait probablement changer entre les versions