Recherche:

Une solution est de marquer la fonction en inline. Ce ne sera pas compilée comme une vraie fonction, elle sera spécialisée à chaque appel. Par exemple :


> let inline dist x y = x * x + y * y |>...

Le type de l'opérateur + est celui-là :

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

Il faut qu'il existe une méthode statique + de...