Comment écrire une fonction infixe

Question

Existe-t-il un moyen d'écrire une fonction infixe sans utiliser de symboles? Quelque chose comme ceci:

let mod x y = x % y 
x mod y 

Peut-être un mot-clé avant "mod" ou quelque chose.

Answer 1

La réponse actuelle est correcte - vous ne pouvez pas définir une fonction infixe en F # (juste un opérateur infixe personnalisé). Mis à part le tour avec les opérateurs de tuyaux, vous pouvez également utiliser des éléments d'extension:

// Define an extension member 'modulo' that 
// can be called on any Int32 value 
type System.Int32 with 
    member x.modulo n = x % n 

// To use it, you can write something like this: 
10 .modulo 3 

Notez que l'espace avant . est nécessaire, car sinon le compilateur essaie d'interpréter 10.m comme un littéral numérique (comme 10.0f). Je trouve cela un peu plus élégant que l'utilisation de pipeline, car F # supporte à la fois le style fonctionnel et le style orienté objet et les méthodes d'extension sont en quelque sorte proches des opérateurs implicites du style fonctionnel. L'astuce du pipeline ressemble à une légère utilisation abusive des opérateurs (et cela peut paraître confus au début - peut-être plus déroutant qu'une invocation de méthode).

Cela dit, je l'ai vu des gens qui utilisent d'autres opérateurs au lieu de pipeline - peut-être la version la plus intéressante est celle-ci (qui utilise également le fait que vous pouvez omettre les espaces autour des opérateurs):

// Define custom operators to make the syntax prettier 
let (</) a b = a |> b 
let (/>) a b = a <| b  
let modulo a b = a % b 

// Then you can turn any function into infix using: 
10 </modulo/> 3 

Mais même Ce n'est pas vraiment un idiome établi dans le monde F #, donc je préférerais probablement encore les membres de l'extension.

Answer 2

Pas que je sache, mais vous pouvez utiliser les opérateurs de tuyau gauche et droite. Par exemple

let modulo x y = x % y 

let FourMod3 = 4 |> modulo <| 3