n + k modèles en F #?

Question

j'ai écrit ce qui suit dans F #:

let fib x = 
    match x with 
    | 0 -> 0 
    | 1 -> 1 
    | n+2 -> fib n + fib (n+1) 

Malheureusement, je suis une erreur de compilation indiquant que j'avais utilisé un opérateur infixe dans un endroit inattendu. En dehors de l'utilisation du caractère générique, y a-t-il un moyen d'exprimer mon intention en F #?

Answer 1

F # ne supporte pas n+k patterns, mais vous pouvez réécrire en termes de juste n:

let rec fib x = 
    match x with 
    | 0 -> 0 
    | 1 -> 1 
    | n -> fib (n - 2) + fib (n - 1) 

Notez que les fonctions récursives en F # ont besoin de la rec mot-clé, contrairement à Haskell.

Answer 2

Je voudrais soustraire -2 des deux côtés. Et vous devez ajouter le mot clé rec, car vous déclarez une fonction récursive.

si vous obtenez:

let rec fib x = 
    match x with 
    | 0 -> 0 
    | 1 -> 1 
    | n -> fib (n - 2) + fib (n - 1) 

Answer 3

Vous pouvez obtenir cela en définissant un motif actif. Je ne suis pas sûr de savoir comment n + k modèles fonctionnent avec Haskell, mais ce qui suit devrait être un bon début (par exemple, peuvent-ils jamais échouer?):

// Result of matching 'input' against 'add + k' 
let (|PlusNum|) add input = 
    input - add 

let rec fib = function 
    | 0 -> 0 
    | 1 -> 1 
    | PlusNum 2 n -> fib n + fib (n+1) 

EDIT: D'après le commentaire par sepp2k, voici une version mise à jour échoue si « n » serait négative:

// Result of matching 'input' against 'add + k' 
let (|PlusNum|_|) add input = 
    if input - add < 0 then None 
    else Some(input - add)