Haskell entspricht -rectypes

Question

Was ist das GHC-Äquivalent von OCaml-rectypes für rekursive Typen? Ich sehe keinen in der Dokumentation. Ist es eine versteckte Funktion?

Answer 1

Es gibt leider keinen einzigen, alle Rekursionen müssen einen Datentyp durchlaufen. Wenn Sie jedoch bereit sind, ein wenig Kopfschmerzen zu ertragen, können Sie rekursive Typen ziemlich einfach schreiben.

newtype RecArr b a = RecArr {unArr :: RecArr b a -> b} 

unfold = unArr 
fold = RecArr 

Jetzt können wir fold und unfold unsere RecArr unsere Rekursion in unseren Herzen Inhalt entfalten. Dies ist ein wenig schmerzhaft, weil es manuell, aber vollständig praktikabel ist. Als Demonstration, hier ist der y-Kombinator geschrieben mit fold und unfold.

y f = (\x -> f (unfold x x)) $ fold (\x -> f (unfold x x)) 

factorial f n = if n == 0 then 1 else n * f (n-1) 

main = print (y factorial 5) -- prints 120 

Answer 2

Es gibt keine. Alle Rekursionen müssen durch nominale Typen gehen. Das heißt, Sie müssen einen Datentyp definieren.