In F # muss das recSchlüsselwort verwendet werden. In Haskell muss nicht explizit angegeben werden, ob eine bestimmte Funktion rekursiv ist oder nicht.
Angesichts der Rolle der Rekursion in der funktionalen Programmierung erscheint mir das F # -Design eher seltsam. Handelt es sich um eine gute Entscheidung für das Sprachdesign oder gibt es sie nur aus historischen Gründen oder aufgrund einer Implementierungsbeschränkung?
Antworten:
Es gibt einen inhärenten Unterschied in der Haskell- und F # -Semantik. In Haskell führt ein Funktionsaufruf keine echte Berechnung durch, sondern weist ein Heap-Objekt zu, das als "Thunk" bezeichnet wird. Es ist vollkommen in Ordnung, wenn ein Thunk eine Verbindung zu sich selbst oder zu einem anderen Thunk hat. In F # ist ein Funktionsaufruf jedoch ein tatsächlicher Aufruf, der Ausdrücke wie let x = 1 : 2 : x in xungültig macht, da sie erstellt werden müssen x, bevor sie erstellt werden 1 : 2 : x. Es ist jedoch immer noch eine mehr oder weniger vernünftige Definition für eine unendliche Liste. Hier liegen Wurzeln für rec. Wenn Sie mehr wollen, suchen und lesen Sie nach der operativen Semantik für SML und Haskell - das ist anders.
Diese Frage wurde auf SO beantwortet und enthält einen starken historischen Hintergrund für die Verwendung von "rec".
Hier ist das wichtige Zitat für die Nachwelt:
Funktionen sind in der französischen CAML-Sprachfamilie (einschließlich OCaml) standardmäßig nicht rekursiv. Diese Auswahl erleichtert das Ersetzen von Funktionsdefinitionen (und Variablendefinitionen) mithilfe von let in diesen Sprachen, da Sie auf die vorherige Definition im Hauptteil einer neuen Definition verweisen können. F # hat diese Syntax von OCaml geerbt.
Ein Rekursiv letdefiniert eine wesentlich kompliziertere Semantik als eine normale. Aus Gründen der Einfachheit und des übersichtlichen Sprachdesigns gibt es daher einen guten Grund, beides, genauso wie getrennt let, let*und letrecim Schema zu haben.
Einfach let x = y in zist gleichbedeutend mit ((fun x -> z) y). Ein rekursiver Let ist viel komplizierter und kann die Verwendung eines Festkomma-Kombinators beinhalten.