Erhalte eine Einheit, wo ich eine ganze Zahl erhalten sollte

Question

Ich habe versucht, eine rekursive Funktion zu schreiben, die eine bestimmte Zahl als Eingabe nimmt und die Summe aller Zahlen, die Vielfache von 3 und 5 sind, von 1 an den Eingang ausgibt Nummer (3 + 5 + 9..n).

Hier ist mein Code

let rec add_nums n = 
    if n < 1 then 0 
    if (n%5 > 0) then 0 
    else n + add_nums(n-1) 

Answer 1

if ‚s Ausdrücke in F # sind nicht Aussagen. Da es sich um Ausdrücke handelt, müssen die Zweige then und else den gleichen Rückgabetyp aufweisen. Was das in der Praxis bedeutet, ist, dass Sie keinen if ohne else Zweig haben können, es sei dennthen Verzweigung gibt eine Einheit zurück (wodurch der Zweig else weggelassen werden kann). Der Compiler sieht, dass else weggelassen wurde, und folgert, dass der Typ then Zweig unit sein sollte.

Dies behebt es:

let rec add_nums n = 
    if n < 1 
     then 0 
     else if (n%5 > 0) 
       then 0 
       else n + add_nums(n-1) 

Wenn Sie Ihr if formatiert ist, dass die Art und Weise, wird es solche Probleme leichter zu kontrollieren.

Und wohl könnten Sie auch beide Ihre Prädikate in einem einzigen if setzen.

Answer 2

Darf ich mutig vorschlagen, eine Übereinstimmung zu verwenden?

let rec add_nums n = 
    match n with 
    | x when x < 1 -> 0 
    | x when x % 5 > 0 -> 0 
    | _ -> n + add_nums(n-1) 

mehr Bedingungen dann Hinzufügen von etwas „leichter“ und besser lesbar werden (können) ...

Spiel zu verwenden ist auch „besser“ in der Hinsicht, dass es (möglicherweise) macht es einfacher, siehe Fehler im Rückgabewert.